4350 search results - page 307 / 870 » Case studies for contract-based systems |
182
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We present an approach to monitoring system policies. As a specification language, we use an expressive fragment of a temporal logic, which can be effectively monitored. We repor...
150
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
We present a system for the formal veri cation of processors which combines a computer algebra simpli cation tool with an object-oriented approach. It has been successfully used f...
179
click to vote
CIDR
2007
15 years 8 months ago
2007
This paper gives an overview of Demaq, an XML message processing system operating on the foundation of transactional XML message queues. We focus on the syntax and semantics of it...
163
click to vote
AMC
2005
15 years 6 months ago
2005
In this paper we study a free boundary problem modeling the growth of tumors. The model uses the conventional ideas of nutrient diffusion and consumption by the cells. We consider...
184
click to vote
ERSA
2009
15 years 4 months ago
2009
For a generic flexible efficient array antenna receiver platform a hierarchical reconfigurable tiled architecture has been proposed. The architecture provides a flexible reconfigur...