This paper presents SecuriTAS, a tool to engineer adap-
tive security. It allows software designers to model security
concerns together with the requirements of a system. This
model is then used at runtime to analyze ...
Fault tolerance is very important for complex component-based
software systems, but its configuration is complicated and challenging. In this
paper, we propose a model driven approach to semi-automatic configuration ...
Intelligent systems are capable of AI exhibited via knowledge representation and reasoning, which helps to connect abstract knowledge symbols to real-world meanings. This paper presents a formal language for knowledge ...
Piterina, Anna V.; Pembroke, Anthony J.T.(Formatex, 1010)
Non-culture based analysis of microbial populations via phylogenetic analysis is becoming an increasingly important tool
in the determination of microbial communities and community flux in a large number of environmental ...
Widespread and commercial usage of Wireless Sensor
Networks is kept back by the lack of strong and easy to
use security. The wide range of applications of WSNs implies
different and often contradictory security requirements. ...
Propositional bounded model checking has been applied successfully to verify embedded software but remains limited by
increasing propositional formula sizes and the loss of high-level information during the translation ...
Traffic simulation can be very computationally
intensive, especially for microscopic simulations of large urban
areas (tens of thousands of road segments, hundreds of thousands
of agents) and when real-time or better ...
Continuous availability of services and low degree
of disruption are two inherent necessities for mission-critical
software systems. These systems could not be stopped to
perform updates because disruption in their ...
The demand for medical device software continues to grow and there is an associated
increase in its importance and complexity. This paper discusses medical device software process
assessment and improvement. It outlines ...
Kennelly, Jeanette; Edwards, Jane(Australian Music therapy Association, 1997)
This paper describes techniques used in the provision of music therapy to two
children in a Paediatric Intensive Care Unit during the phase of admission when
they were unconscious. The presentation of known songs and ...