233 search results - page 26 / 47 » Abstraction-Carrying Code: a Model for Mobile Code Safety |
126
click to vote
CL
2008
Springer
14 years 11 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
ACSD
2003
IEEE
15 years 5 months ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
117
click to vote
CODES
2004
IEEE
15 years 3 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...
MASCOTS
2003
15 years 1 months ago
2003
Abstract. In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way...
100
click to vote
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...