1992 search results - page 226 / 399 » Model Based Testing with Labelled Transition Systems |
140
Voted
CIKM
1994
Springer
15 years 7 months ago
1994
Springer
may be saved for later reuse of material, but also to preserve the historical perspective of work done [ha:92]. In particular, in distributed and collaborative hypertext systems, v...
103
Voted
RTSS
2009
IEEE
15 years 10 months ago
2009
IEEE
The preemptive real-time scheduling of sporadic parallel task systems is studied. We present an algorithm, called Gang EDF, which applies the Earliest Deadline First (EDF) policy ...
123
Voted
HICSS
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper discusses the implementation of optimizaiion based DSSs. A n approach is proposed that will enable OR/MS analysts to develop this kind of system much more eociently tha...
88
Voted
ANSS
2005
IEEE
15 years 9 months ago
2005
IEEE
Many scientific simulations are large programs which despite careful debugging and testing will probably contain errors when deployed to the Web for use. Based on the assumption ...
130
Voted
ICOST
2007
Springer
15 years 9 months ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...