1297 search results - page 37 / 260 » Control of systems integrating logic, dynamics, and constrai... |
121
click to vote
MEMOCODE
2008
IEEE
15 years 7 months ago
2008
IEEE
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
137
click to vote
ISSA
2004
15 years 2 months ago
2004
Web Services technology enables organisations to exploit software as a service. Services are accessed by method invocations. Method interfaces are described and published, and may...
128
click to vote
IWFM
2000
15 years 2 months ago
2000
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
120
click to vote
RSP
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...
109
click to vote
VLDB
1993
ACM
15 years 5 months ago
1993
ACM
Mb describe the design and implementation of a constraint management facility for our active object-oriented database system called Jasmine/A. The facility includes integrity cons...