10159 search results - page 314 / 2032 » System Design Validation Using Formal Models |
138
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
138
Voted
WSC
2007
15 years 6 months ago
2007
Two basic approaches to simulation model composition can be distinguished, depending on whether the unit of composition is a model specification according to a certain modeling f...
118
Voted
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Emerging organic light-emitting diode (OLED)-based displays obviate external lighting; and consume drastically different power when displaying different colors, due to their emiss...
137
Voted
TOG
2008
15 years 3 months ago
2008
This paper addresses the problem of interactively modeling large street networks. We introduce a modeling framework that uses tensor fields to guide the generation of a street gra...
123
Voted
STTT
1998
15 years 3 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...