2850 search results - page 58 / 570 » On Timed Models and Full Abstraction |
166
Voted
ICCSA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. A company needs to implement several make-to-stock policies apart from a regular make-to-order production, so that the capacity of expensive resources can be fully utiliz...
153
click to vote
PKDD
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. This article presents a method for training Dynamic Factor Graphs (DFG) with continuous latent state variables. A DFG includes factors modeling joint probabilities betwee...
146
Voted
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Abstract. Dynamic real-time systems function in unpredictable environments and have requirements that span many domains such as time, survivability, and scalability. The system req...
174
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
175
click to vote
TASE
2007
IEEE
16 years 12 days ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...