5863 search results - page 88 / 1173 » On Model-Checking of P Systems |
198
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
Pushdown Systems (PDSs) has become an important paradigm for program analysis. Indeed, recent work has shown a deep connection between inter-procedural dataflow analysis for seque...
90
Voted
SYNTHESE
2008
15 years 21 days ago
2008
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
101
Voted
CMSB
2010
Springer
14 years 7 months ago
2010
Springer
To incorporate instant effects and different timescales within a single biological system, an extension of discrete regulatory networks with short-term stimuli is proposed. By mai...
114
Voted
FORMATS
2009
Springer
15 years 7 months ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
75
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...