5863 search results - page 1034 / 1173 » On Model-Checking of P Systems |
135
click to vote
PDP
2002
IEEE
15 years 9 months ago
2002
IEEE
The concept of unreliable failure detector was introduced by Chandra and Toueg as a mechanism that provides information about process failures. This mechanism has been used to sol...
118
click to vote
ITS
2010
Springer
15 years 9 months ago
2010
Springer
A key promise of narrative-centered learning environments is the ability to make learning engaging. However, there is concern that learning and engagement may be at odds in these g...
139
click to vote
MOBILITY
2009
ACM
15 years 8 months ago
2009
ACM
Main requirement of recent computing environments, like mobile and then ubiquitous computing, is to adapt applications to context. On the other hand, access control generally trus...
147
click to vote
AGENTS
2001
Springer
15 years 8 months ago
2001
Springer
We present and implement an infrastructure for automating the negotiation of business contracts. Underlying our system is a declarative language for both (1) fully-specified, exe...
142
click to vote
ICVS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. At the first ICVS, we presented SA-C (“sassy”), a singleassignment variant of the C programming language designed to exploit both coarse-grain and fine-grain parallel...