1454 search results - page 263 / 291 » Stateful traits and their formalization |
ICNP
2003
IEEE
15 years 6 months ago
2003
IEEE
The publish/subscribe (pub/sub) paradigm provides content-oriented data dissemination in which communication channels are established between content publishers and content subscr...
148
click to vote
IFIP
2001
Springer
15 years 5 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
115
click to vote
ECAI
2000
Springer
15 years 5 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
132
Voted
KBSE
1995
IEEE
15 years 4 months ago
1995
IEEE
Cost-effective engineering and evolution of complex software must involve the different stakeholders concurrently and collaboratively. The hard problem is providing computer suppo...
152
Voted
HYBRID
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...