5863 search results - page 151 / 1173 » On Model-Checking of P Systems |
182
click to vote
AICT
2006
IEEE
15 years 8 months ago
2006
IEEE
One of the main characteristics of the peer-to-peer systems is the highly dynamic nature of the users present in the system. In such a rapidly changing enviroment, end-user guaran...
139
click to vote
WISE
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Wiki systems are becoming an important part of the information system of many organisations and communities. This introduce the issue of the data availability in case of ...
177
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
169
Voted
MEDES
2009
ACM
16 years 19 days ago
2009
ACM
P2P techniques for semantic coordination based on semantic communities are recently emerging to enforce effective collaboration platforms. In this paper, we focus on semantic coo...
152
Voted
CEC
2008
IEEE
16 years 18 days ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...