1263 search results - page 208 / 253 » A Vision on a New Generation of Software Design Environments |
154
click to vote
ASE
2008
15 years 6 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
168
click to vote
EUROSYS
2007
ACM
16 years 3 months ago
2007
ACM
Continuously running systems require kernel software updates applied to them without downtime. Facilitating fast reboots, or delaying an update may not be a suitable solution in m...
191
click to vote
PASTE
2010
ACM
15 years 9 months ago
2010
ACM
ROADRUNNER is a dynamic analysis framework designed to facilitate rapid prototyping and experimentation with dynamic analyses for concurrent Java programs. It provides a clean API...
178
click to vote
ICRA
2006
IEEE
16 years 6 days ago
2006
IEEE
— The dangerous and time sensitive nature of a disaster area makes it an ideal application for robotic exploration. Our long term goal is to enable humans, software agents, and a...
174
click to vote
PETRA
2010
ACM
15 years 4 months ago
2010
ACM
Automatic surveillance of a scene in a broad sense comprises one of the core modules of pervasive applications. Typically, multiple cameras are installed in an area to identify ev...