287 search results - page 55 / 58 » Modular Analysis of Petri Nets |
IPCCC
2005
IEEE
14 years 2 months ago
2005
IEEE
A composite multimedia object (cmo) is comprised of different media components such as text, video, audio and image, with a variety of constraints that must be adhered to. The con...
SAFECOMP
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. To ensure the consistency of database subsystems involved in communication systems (e.g., telephone systems), appropriate scheduled maintenance policies are necessary. Au...
APN
1994
Springer
14 years 24 days ago
1994
Springer
In this paper we describe a modelling project to improve a nuclear waste management program in charge of the creation of a new system for the permanent disposal of nuclear waste. S...
APSEC
2007
IEEE
14 years 21 days ago
2007
IEEE
One major advantage of executable models is that once constructed, they can be run, checked, validated and improved in short incremental and iterative cycles. In the field of Soft...
ISARCS
2010
14 years 20 days ago
2010
Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...