1179 search results - page 99 / 236 » Event Model Interfaces for Heterogeneous System Analysis |
134
click to vote
CODES
2006
IEEE
15 years 9 months ago
2006
IEEE
Predicting timing behavior is key to efficient embedded real-time system design and verification. Especially memory accesses and co-processor calls over shared communication net...
133
click to vote
DEDS
2010
15 years 3 months ago
2010
In discrete event systems, a given task can start executing when all the required input data are available. The required input data for a given task may change along the evolution...
117
Voted
FUIN
2008
15 years 3 months ago
2008
Abstract. Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails...
117
click to vote
SOCO
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
144
click to vote
SASN
2003
ACM
15 years 8 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...