656 search results - page 55 / 132 » A Formalization of Transition P Systems |
94
Voted
FMOODS
2000
15 years 1 months ago
2000
We propose a formal real-time semantics for UML statecharts aimed at the requirements level. A requirements-level model assumes perfect technology and has a considerably simpler se...
108
Voted
TGC
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
97
Voted
IDEAS
2008
IEEE
15 years 7 months ago
2008
IEEE
Peer-to-peer database systems (P2PDBs) aim at providing database services with node autonomy, high availability and loose coupling between participating nodes by building the DBMS...
121
Voted
ACNS
2008
Springer
15 years 6 months ago
2008
Springer
In the pursuit of authentication schemes that balance user privacy and accountability, numerous anonymous credential systems have been constructed. However, existing systems assume...
123
Voted
TOPNOC
2008
15 years 12 days ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...