Time is one of the most important factors dominating agile software development
processes in distributed settings. Effective time management helps agile
teams to plan and monitor the work to be performed, and create and ...
Software rarely works as intended when it is initially
written. Things go wrong, and developers are commonly
understood to form theories and strategies to deal with them.
Much of this knowledge relates to ephemeral flaws ...
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 ...
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 ...