3765 search results - page 363 / 753 » Formal Methods for Systems Engineering Behavior Models |
188
click to vote
WWW
2005
ACM
16 years 8 months ago
2005
ACM
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
200
click to vote
TACAS
2004
Springer
16 years 19 days ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
195
click to vote
FORMATS
2003
Springer
16 years 15 days ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
202
click to vote
WSC
2000
15 years 8 months ago
2000
Simulation models are useful to predict and understand the impact of changes to a manufacturing system. Typical factory simulation models include the parts being manufactured in t...
179
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, the performance model for a lossless OBS edge node is built with respect to the queueing performance of the transmission buffer. In contrast to the shaping effect...