548 search results - page 41 / 110 » Adding Real Time to Formal Program Development |
MIDDLEWARE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Developing distributed multiplayer games for ad-hoc networks is challenging. Consistency of the replicated shared state is hard to ensure at a low cost. Current consisten...
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
JSYML
2002
14 years 9 months ago
2002
Abstract. This paper develops the very basic notions of analysis in a weak secondorder theory of arithmetic BTFA whose provably total functions are the polynomial time computable f...
74
Voted
HOPL
2007
15 years 1 months ago
2007
This paper is a highly personal and subjective account of how the language of statecharts came into being. The main novelty of the language is in being a fully executable visual f...
RE
2001
Springer
15 years 2 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...