1728 search results - page 99 / 346 » Formal Modeling of Process Migration |
108
click to vote
RTSS
2003
IEEE
15 years 4 months ago
2003
IEEE
Real-time systems are growing in complexity and realtime and soft real-time applications are becoming common in general-purpose computing environments. Thus, there is a growing ne...
EACL
2006
ACL Anthology
15 years 15 days ago
2006
ACL Anthology
Multimodal grammars provide an expressive formalism for multimodal integration and understanding. However, handcrafted multimodal grammars can be brittle with respect to unexpecte...
PKDD
2010
Springer
14 years 9 months ago
2010
Springer
Mining Meets Abstract Interpretation J. Carmona and J. Cortadella Universitat Polit`ecnica de Catalunya, Spain The discovery of process models out of system traces is a problem tha...
B
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
FDL
2003
IEEE
15 years 4 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...