9210 search results - page 1495 / 1842 » Analyzing Real-Time Systems |
204
click to vote
FOSAD
2009
Springer
15 years 11 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
157
click to vote
ICCS
2009
Springer
15 years 11 months ago
2009
Springer
Spatial relations play important role in computer vision, scene analysis, geographic information systems (GIS) and content based image retrieval. Analyzing spatial relations by Fo...
146
click to vote
ICTAC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
158
click to vote
JSSPP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. As multi-core processors proliferate, it has become more important than ever to ensure efficient execution of parallel jobs on multiprocessor systems. In this paper, we s...
140
click to vote
JSSPP
2009
Springer
15 years 11 months ago
2009
Springer
It is important to identify scalability constraints in existing job scheduling software as they are applied to next generation parallel systems. In this paper, we analyze the scala...