620 search results - page 92 / 124 » About the logical relations between cases and rules |
HICSS
2002
IEEE
15 years 6 months ago
2002
IEEE
A computational enterprise model representing key facets of an organization can be an effective tool. For example, a specific organization's quality management business proce...
111
click to vote
ACSD
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract. The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling...
106
click to vote
SAC
2008
ACM
15 years 22 days ago
2008
ACM
Increasing scale, dynamism, and complexity of hybrid grids make traditional grid resource scheduling approaches difficult. In such grids, where resource volatility and dynamism is...
105
click to vote
CCS
2007
ACM
15 years 7 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
126
click to vote
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...