5639 search results - page 342 / 1128 » Timed Abstract Non-interference |
148
click to vote
CBSE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper we focus on design of a class of distributed embedded systems that primarily perform real-time controlling tasks. We propose a two-layer component model for...
126
click to vote
CMSB
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
120
click to vote
FMOODS
2007
15 years 5 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
132
click to vote
ICWN
2007
15 years 5 months ago
2007
Abstract MIT Technology Review lists sensor networks as one of “Ten Emerging Technologies That Will Change the World” [1]. This paper extends our earlier paper [7], and describ...
134
click to vote
AIIDE
2006
15 years 5 months ago
2006
1 In this document, we describe our work applying natural language (NL) technologies to improve non-player character (NPC) dialog interactions in games, specifically role-playing g...