306 search results - page 39 / 62 » From Scenarios to Timed Automata: Building Specifications fr... |
ICSM
1994
IEEE
13 years 12 months ago
1994
IEEE
Although data pow analysis was first developed for use in compilers, its usefulness is now recognized in many software tools. Because of its compiler origins, the computation of d...
ERCIMDL
2005
Springer
14 years 1 months ago
2005
Springer
The Alexandria Digital Library (ADL) project has been working on automating the processes of building ADL collections and gathering the collection statistics on which ADL’s disco...
IC
2004
13 years 9 months ago
2004
Industrial wastes must be classified at least two times on the way from the owner of the waste to the waste disposal facility in order to ensure that waste handling is in conformi...
WSC
2001
13 years 9 months ago
2001
Recent trends in automotive manufacturing have increased the focus on the Just-In-Time (JIT) delivery of automotive components. By requiring smaller batches of parts delivered mor...
CCS
2006
ACM
13 years 11 months ago
2006
ACM
Denial-of-service (DoS) attacks significantly degrade service quality experienced by legitimate users by introducing long delays, excessive losses, and service interruptions. The ...