656 search results - page 64 / 132 » A Formalization of Transition P Systems |
FUIN
2008
15 years 17 days ago
2008
Abstract. Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails...
131
click to vote
FORMATS
2006
Springer
15 years 4 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
92
Voted
CSFW
2007
IEEE
15 years 6 months ago
2007
IEEE
Collaboration among organizations or individuals is common. While these participants are often unwilling to share all their information with each other, some information sharing i...
90
Voted
ICTAI
2005
IEEE
15 years 6 months ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...
120
click to vote
CALCO
2005
Springer
15 years 6 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...