1321 search results - page 206 / 265 » Subtyping in Logical Form |
162
click to vote
FSTTCS
2009
Springer
16 years 25 days ago
2009
Springer
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
172
click to vote
MHCI
2009
Springer
16 years 25 days ago
2009
Springer
Mobile devices became powerful recently and wireless Internet access is becoming standard. One important class of networked, mobile applications are location based games, making e...
126
click to vote
ICDCS
2008
IEEE
16 years 22 days ago
2008
IEEE
In distributed systems that use active replication to achieve robustness, it is important to efficiently enforce consistency among replicas. The nonblocking mode helps to speed u...
148
click to vote
ICST
2008
IEEE
16 years 21 days ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
157
click to vote
QEST
2008
IEEE
16 years 20 days ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...