Sciweavers

396 search results - page 61 / 80
» Factor Automata of Automata and Applications
Sort
View
RE
2008
Springer
13 years 7 months ago
Requirements Capture with RCAT
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
Margaret H. Smith, Klaus Havelund
TCS
2008
13 years 7 months ago
Computation of distances for regular and context-free probabilistic languages
Several mathematical distances between probabilistic languages have been investigated in the literature, motivated by applications in language modeling, computational biology, syn...
Mark-Jan Nederhof, Giorgio Satta
IEEECIT
2010
IEEE
13 years 6 months ago
Predicting Events for the Simulation of Hybrid Systems
The quality of the numeric simulation of hybrid systems highly depends on the capability of the simulator to detect discrete events during continuous evolutions. Due to the intera...
Kerstin Bauer, Klaus Schneider
JMLR
2010
107views more  JMLR 2010»
13 years 2 months ago
Modeling Knowledge Worker Activity
This paper describes an approach to constructing a probabilistic process model representing knowledge worker activity out of a log of primitive events, such as e-mails, web page v...
Tadej Stajner, Dunja Mladenic
IPPS
2005
IEEE
14 years 1 months ago
Virtual Gateways in the DECOS Integrated Architecture
— The DECOS architecture aims at combining the advantages of federated and integrated systems. The DECOS architecture divides the overall system into a set of nearly-independent ...
Roman Obermaisser, Philipp Peti, Hermann Kopetz