854 search results - page 63 / 171 » Addressing Dynamic Issues of Program Model Checking |
134
click to vote
COORDINATION
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...
145
click to vote
IGPL
2006
15 years 2 months ago
2006
Abstract. This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate-and d...
123
click to vote
PERCOM
2007
ACM
16 years 2 months ago
2007
ACM
One issue hindering the deployment of integrated ubicomp environments is the lack of a shared model for applications to utilize resources across administrative and network domains...
114
click to vote
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
WWW
2004
ACM
16 years 3 months ago
2004
ACM
This work* specifically addresses the search issues in unstructured peer-to-peer (P2P) systems that involve the design of an efficient search algorithm, the proposed dynamic searc...