1097 search results - page 21 / 220 » Sequential Object Monitors |
98
Voted
SAC
2009
ACM
15 years 4 months ago
2009
ACM
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be statical...
LISA
1998
14 years 10 months ago
1998
Analyzing and monitoring logs that portray system, user, and network activity is essential to meet the requirements of high security and optimal resource availability. While most ...
COCOON
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The original definition of P-systems calls for rules to be applied in a maximally parallel fashion. However, in some cases a sequential model may be a more reasonable as...
IBPRIA
2003
Springer
15 years 2 months ago
2003
Springer
User authentication based on biometrics has explored both physiological and behavioral characteristics. We present a system, called Web Interaction Display and Monitoring (WIDAM), ...
97
Voted
APSEC
1996
IEEE
15 years 1 months ago
1996
IEEE
Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce differe...