4386 search results - page 606 / 878 » A Tamper-Resistant Programming Language System |
127
click to vote
ECRTS
2000
IEEE
15 years 8 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
132
click to vote
CSFW
2010
IEEE
15 years 7 months ago
2010
IEEE
In recent years it has been shown that dynamic monitoring can be used to soundly enforce information flow policies. For programs distributed in source or bytecode form, the use o...
134
click to vote
AICCSA
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper2 details the stages of building a substantial, carefully specified, fully tested and fully operational university and school timetabling system. This is reported as a c...
148
click to vote
FLAIRS
2001
15 years 5 months ago
2001
ObjectAgent is an agent-based, message-passing software architecture that utilizes natural language processing to provide autonomous control to complex systems. As a form of distr...
137
Voted
JOT
2008
15 years 3 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...