16 search results - page 3 / 4 » Working with the Past: Integrating History in Petri Nets |
LFCS
2007
Springer
13 years 12 months ago
2007
Springer
Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecida...
ISARCS
2010
13 years 9 months 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...
CBMS
2003
IEEE
13 years 11 months ago
2003
IEEE
The market for health care systems supporting physicians and improving their daily routine is steadily growing. The development of these systems requires handling medical knowledg...
CIKM
1994
Springer
13 years 10 months ago
1994
Springer
may be saved for later reuse of material, but also to preserve the historical perspective of work done [ha:92]. In particular, in distributed and collaborative hypertext systems, v...
PE
2010
Springer
13 years 16 days ago
2010
Springer
Performance prediction and measurement approaches for component-based software systems help software architects to evaluate their systems based on component performance specificat...