941 search results - page 86 / 189 » History-Dependent Petri Nets |
FOSSACS
2006
Springer
14 years 1 months ago
2006
Springer
Some recent Petri net-based approaches to fault diagnosis of distributed systems suggest to factor the problem into local diagnoses based on the unfoldings of local views of the sy...
DAC
1999
ACM
14 years 11 months ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
HICSS
2009
IEEE
14 years 4 months ago
2009
IEEE
The mechanisms and design principles needed for achieving optimized handoff for mobile Internet services are poorly understood and need better analysis. This paper contributes to ...
MODELS
2009
Springer
14 years 4 months ago
2009
Springer
The standardized QVT Relations language, one cornerstone of Model-Driven Architecture (MDA), has not yet gained widespread use in practice, not least due to missing tool support in...
APSEC
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...