2730 search results - page 143 / 546 » An Abstract Model for Process Mediation |
101
click to vote
WETICE
2005
IEEE
15 years 3 months ago
2005
IEEE
System theory propagates the use of models which e level of abstraction to cope with complexity, evolving out of variety and connectivity. Different modeling techniques have been ...
VLSI
2007
Springer
15 years 4 months ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
APN
1994
Springer
15 years 2 months ago
1994
Springer
Abstract. In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the beh...
SPIN
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
EWSPT
1995
Springer
15 years 1 months ago
1995
Springer
It is advocated here that integrating abstraction and modularity into the concept of point of view, and extending the view concept to the process itself (and not only to data used ...