100 search results - page 5 / 20 » Almost ASAP Semantics: From Timed Models to Timed Implementa... |
121
click to vote
DASFAA
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. When creating execution-level process models from conceptual to-be process models, challenges are to find implementations for process activities and to use these impleme...
250
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
136
click to vote
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
150
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
123
click to vote
DEXA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Semantic matching of schemas in heterogeneous data sharing systems is time consuming and error prone. Existing mapping tools employ semi-automatic techniques for mapping ...