277 search results - page 48 / 56 » Timing-Sensitive Information Flow Analysis for Synchronous S... |
CAINE
2007
14 years 11 months ago
2007
The study of how metal deforms and flows as parts are machined yields important insights into the metal cutting process. Improvements in high-speed digital imaging and image proce...
SP
2010
IEEE
14 years 7 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
APN
2004
Springer
15 years 1 months ago
2004
Springer
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...
COOPIS
2002
IEEE
15 years 2 months ago
2002
IEEE
Current e-service technology paradigms require the analysis and conceptual modeling of cooperative inter-organizational workflows. Cooperation among different organizations is base...
APN
2007
Springer
15 years 3 months ago
2007
Springer
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. We cons...