390 search results - page 47 / 78 » Application of Coloured Petri Nets in System Development |
197
click to vote
DSN
2000
IEEE
15 years 10 months ago
2000
IEEE
Multiple-Phased Systems, whose operational life can be partitioned in a set of disjoint periods, called “phases”, include several classes of systems such as Phased Mission Sys...
202
click to vote
WORDS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
167
click to vote
CODES
2001
IEEE
15 years 9 months ago
2001
IEEE
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
170
click to vote
FOSSACS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
145
click to vote
RSP
2007
IEEE
16 years 13 days ago
2007
IEEE
Designing security softwares that evolve as quickly as threats is a truthful challenge. In addition, current software becomes increasingly more complex and difficult to handle ev...