1888 search results - page 115 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
129
click to vote
SIGGRAPH
1996
ACM
15 years 7 months ago
1996
ACM
This paper presents a paradigm for automatically generating complete camera specifications for capturing events in virtual 3D environments in real-time. We describe a fully implem...
123
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Developers express the meaning of the domain ideas in specifically selected identifiers and comments that form the target implemented code. Software maintenance requires ...
131
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
166
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
Recent work has established the importance of automatic reverse engineering of protocol or file format specifications. However, the formats reverse engineered by previous tools ha...
140
Voted
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Developing systems through the composition of reusable software services is not straightforward in most situations since different kinds of mismatch may occur among their...