1472 search results - page 273 / 295 » On Model Checking Infinite-State Systems |
WWW
2003
ACM
15 years 10 months ago
2003
ACM
This paper focuses on the optimization of the navigation through voluminous subsumption hierarchies of topics employed by Portal Catalogs like Netscape Open Directory (ODP). We ad...
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
ICSE
2008
IEEE-ACM
15 years 9 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
ICSE
2008
IEEE-ACM
15 years 9 months ago
2008
IEEE-ACM
Software architecture evaluation has a crucial role in the life cycle of software intensive systems. In this paper we propose an approach to empower a software architecture evalua...
TACAS
2009
Springer
15 years 4 months ago
2009
Springer
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...