306 search results - page 49 / 62 » From Scenarios to Timed Automata: Building Specifications fr... |
WSC
1997
13 years 9 months ago
1997
FACTOR/AIM (AIM) is a simulation system designed specifically for use in manufacturing decision support. AIM has been successfully applied to engineering design, scheduling, and p...
TON
2002
13 years 7 months ago
2002
We consider a communication network with fixed routing that can accommodate multiple service classes, differing in bandwidth requirements, demand pattern, call duration, and routin...
BMCBI
2010
13 years 7 months ago
2010
Background: The ever-increasing wealth of genomic sequence information provides an unprecedented opportunity for large-scale phylogenetic analysis. However, species phylogeny infe...
ICDE
2009
IEEE
14 years 2 months ago
2009
IEEE
— Update of applications in SaaS is expected to be a continuous efforts and cannot be done overnight or over the weekend. In such migration efforts, users are trained and shifted...
VLDB
2003
ACM
14 years 7 months ago
2003
ACM
Recent work on querying data streams has focused on systems where newly arriving data is processed and continuously streamed to the user in real time. In many emerging applications...