1855 search results - page 45 / 371 » Composing model programs for analysis |
134
click to vote
ENTCS
2008
15 years 2 months ago
2008
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
109
click to vote
CASES
2009
ACM
15 years 9 months ago
2009
ACM
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...
120
click to vote
DIMVA
2006
15 years 3 months ago
2006
Abstract. The Internet, and in particular the world-wide web, have become part of the everyday life of millions of people. With the growth of the web, the demand for on-line servic...
149
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
FOAL
2009
ACM
15 years 9 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...