1453 search results - page 67 / 291 » State and history in operating systems |
172
click to vote
ESEC
1999
Springer
15 years 4 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
108
Voted
ATVA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
107
Voted
ICECCS
2005
IEEE
15 years 6 months ago
2005
IEEE
Mobile code systems provide an infrastructure that supports autonomous mobile components, called mobile agents. The infrastructure implements services for the transfer, execution,...
GLOBECOM
2010
IEEE
14 years 10 months ago
2010
IEEE
Network equipments generate an overwhelming number of reports and alarms every day, but only a small fraction of these alarms require the intervention of network operators. Our goa...
104
Voted
CANDC
2009
ACM
15 years 7 months ago
2009
ACM
Data visualization, commonly used to make large sets of numerical data more legible, also has enormous potential as a storytelling tool to elicit insights on long-standing social ...