7124 search results - page 792 / 1425 » Programming Languages and Operating Systems |
217
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Workflows represent the coordination requirements of various distributed operations in an organisation; workflows neatly capture business processes, and are particularly ...
197
click to vote
IWIA
2005
IEEE
16 years 26 days ago
2005
IEEE
Stellar aggregates and correlates alerts from heterogeneous network defense systems, building scenarios and estimating the security risk of the entire scenario. Prior work conside...
211
click to vote
AUTOMATICA
1999
15 years 7 months ago
1999
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...
185
click to vote
EICS
2009
ACM
16 years 1 months ago
2009
ACM
Adaptive groupware systems support changes in users’ locations, devices, roles and collaborative structure. Developing such systems is difficult due to the complex distributed ...
191
click to vote
TLDI
2009
ACM
16 years 4 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...