3909 search results - page 414 / 782 » Extreme Model Checking |
157
Voted
APSEC
2006
IEEE
15 years 10 months ago
2006
IEEE
The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the int...
126
click to vote
QEST
2006
IEEE
15 years 10 months ago
2006
IEEE
We analyze the effect of a few fiber delay loops on the number of deflections in an all optical packet switch. The switch is based on the ROMEO architecture developed by Alcatel...
156
click to vote
DALT
2004
Springer
15 years 8 months ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
119
click to vote
MKWI
2008
15 years 6 months ago
2008
: An important goal of workflow engines is to simplify the way in which the interaction of workflows and software components (or services) is described and implemented. The vision ...
180
click to vote
TII
2008
15 years 4 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...