1164 search results - page 132 / 233 » Case Studies in Event-Driven Control |
180
click to vote
SWS
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we propose a security architecture for Virtual Organizations for businesses. The Virtual Organizations we consider are based on web service technology to address int...
125
Voted
CODES
2005
IEEE
15 years 10 months ago
2005
IEEE
Sensor network applications face continuously changing environments, which impose varying processing loads on the sensor node. This paper presents an online control method which a...
160
click to vote
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
136
click to vote
GCC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A hybrid workflow system could be treated as a domain-across infrastructure by incorporating different workflow systems and WfMSs engaged in the complex business processi...
168
click to vote
ICDCIT
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Statically estimating the worst case execution time of a program is important for real-time embedded software. This is difficult even in the programming language level du...