1713 search results - page 153 / 343 » Modeling and Engineering Adaptive Complex Systems |
119
Voted
MIDDLEWARE
2007
Springer
15 years 6 months ago
2007
Springer
The emergence of applications domains such as pervasive and autonomic computing has increased the need for customisation and dynamic adaptation of both distributed systems, and th...
99
Voted
QSIC
2007
IEEE
15 years 6 months ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
COMPSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
Web applications have become complex and crucial in many fields. In order to assure their quality, a high demand for systematic methodologies of Web application testing is emergin...
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
75
Voted
ENTCS
2007
15 years 12 days ago
2007
Using model-based development has shown to increase efficiency and effectiveness of software production. However, with software as an integral part of products with customized fu...