1252 search results - page 174 / 251 » Complex Systems and Agent-Oriented Software Engineering |
131
click to vote
WOSP
2004
ACM
15 years 6 months ago
2004
ACM
The simulated evaluation of memory management policies relies on reference traces—logs of memory operations performed by running processes. No existing approach to reference tra...
80
Voted
EMSOFT
2003
Springer
15 years 5 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
117
click to vote
MODELS
2009
Springer
15 years 7 months ago
2009
Springer
Electronic Health Records (EHR) have been proposed as a means for managing the technical and organisational complexity that arises in modern healthcare. Different EHR systems are...
221
Voted
ICDE
1999
IEEE
16 years 1 months ago
1999
IEEE
Modern digital libraries require user-friendly and yet responsive access to the rapidly growing, heterogeneous, and distributed collection of information sources. However, the inc...
98
Voted
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...