882 search results - page 72 / 177 » Allowing State Changes in Specifications |
148
click to vote
KBSE
2009
IEEE
16 years 28 days ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
137
click to vote
CISIM
2007
IEEE
16 years 16 days ago
2007
IEEE
In this paper the off–line type signature analyses have been considered. Signature image by means of three different approaches is analysed, what allows to define features (weigh...
137
click to vote
ECOOP
2007
Springer
16 years 11 days ago
2007
Springer
Ownership is a powerful concept to structure the object store and to control aliasing and modifications of objects. This paper presents an ownership type system for a Javalike pr...
143
click to vote
ECAL
2005
Springer
15 years 11 months ago
2005
Springer
We study a population of individuals playing the prisoner’s dilemma game. Individual strategies are invariable but the network of relationships between players is allowed to chan...
143
Voted
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents an approach for reasoning about action and change which appeals to the principle of Occam’s razor— roughly stating that the simplest explanations ...