656 search results - page 78 / 132 » A Formalization of Transition P Systems |
124
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...
119
click to vote
EWSA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Modern systems are heterogeneous, geographically distributed and highly dynamic since the communication topology can vary and the components can, at any moment, connect t...
116
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Computer Supported Cooperative Work (CSCW) defines software tools and technology to support groups of people working together on a project, often at different sites [5]. In this wo...
122
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
128
click to vote
FASE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...