4872 search results - page 141 / 975 » CBR for Modeling Complex Systems |
121
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
We are developing a module-oriented, multiphysics, mixed-fidelity system simulation environment that will enable engineers to rapidly analyze the performance of a system and to o...
141
click to vote
ACSC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
161
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
154
click to vote
VAMOS
2008
Springer
15 years 6 months ago
2008
Springer
Variability management is a key concern in the software industry. It allows designers to rapidly propose applications that fit the environment and the user needs, with a certain Q...
133
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...