5863 search results - page 98 / 1173 » On Model-Checking of P Systems |
82
Voted
P2P
2008
IEEE
15 years 7 months ago
2008
IEEE
In open environments, such as mobile peer-to-peer systems, participants may need to access resources from unknown users. A critical security concern in such systems is the access ...
117
click to vote
ICDCSW
2007
IEEE
15 years 7 months ago
2007
IEEE
Free-riders and fake files are two important problems in P2P file sharing systems. Previous works have always used incentive mechanisms and trust mechanisms to address them resp...
101
click to vote
FMCO
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
116
click to vote
TACAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
111
Voted
CAV
2001
Springer
15 years 5 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...