4872 search results - page 102 / 975 » CBR for Modeling Complex Systems |
144
click to vote
VIS
2006
IEEE
16 years 5 months ago
2006
IEEE
Current practice in particle visualization renders particle position data directly onto the screen as points or glyphs. Using a camera placed at a fixed position, particle motions...
141
click to vote
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
148
click to vote
APNOMS
2006
Springer
15 years 8 months ago
2006
Springer
Distributed computing systems are continuously increasing in complexity and cost of managing, and system management tasks require significantly higher levels of autonomic managemen...
122
click to vote
IRI
2006
IEEE
15 years 10 months ago
2006
IEEE
Hurricanes are one of the deadliest and perilous natural calamities on the face of earth having a severe impact both on the lives of the people and economy of a nation. Attempts h...
147
click to vote
ASE
2004
15 years 4 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...