3481 search results - page 604 / 697 » Architecture as Object Models of Software |
175
click to vote
POPL
2006
ACM
15 years 11 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
CODES
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper presents a system-level design methodology for networked embedded systems that exploits existing data-redundancy to increase their reliability. The presented approach n...
CSSE
2008
IEEE
15 years 5 months ago
2008
IEEE
—With the development of the Internet, the need of city 3D data is rising more and more, and the emphasis shifts from analysis to the sharing of city 3D data and information over...
102
click to vote
ASWEC
2005
IEEE
15 years 4 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
ADAEUROPE
2005
Springer
15 years 4 months ago
2005
Springer
: In previous papers we had presented an application program interface (API) that enabled applications to use application-defined scheduling algorithms for Ada tasks in a way compa...