1992 search results - page 224 / 399 » Model Based Testing with Labelled Transition Systems |
109
Voted
DSD
2002
IEEE
15 years 8 months ago
2002
IEEE
We discuss the gap we experience in an industrial design path of high-speed packet switches. As bandwidth demand exceeds progress in CMOS technology, system architects are forced ...
153
Voted
BPM
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The coordination of complex process structures is a fundamental task for enterprises, such as in the automotive industry. Usually, such process structures consist of seve...
145
Voted
ICSE
2011
IEEE-ACM
14 years 7 months ago
2011
IEEE-ACM
—Dynamic reconfiguration – the ability to hot swap a component, or to introduce a new component into the system – is essential to supporting evolutionary change in long-live ...
142
Voted
ENTCS
2008
15 years 3 months ago
2008
istic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Michael J. A. Smith1 ,2 Laboratory for Foundations of Computer Science University of Edinb...
128
Voted
SCM
1998
15 years 5 months ago
1998
PRCS is an attempt to provide a version-control system for collections of les with a simple operational model, a clean user interface, and high performance. PRCS is characterized b...