2108 search results - page 154 / 422 » An Operational Semantics for Stateflow |
139
click to vote
SCAM
2006
IEEE
15 years 11 months ago
2006
IEEE
Programmers often want to transform the source or binary representations of their programs (e.g., to optimize, add dynamic safety checks, or add profile gathering code). Unfortun...
153
Voted
CALCO
2005
Springer
15 years 10 months ago
2005
Springer
Event-pattern reactive programs are front-end programs for distributed reactive components that preprocess an incoming stream of event stimuli. Their purpose is to recognize tempor...
136
click to vote
SEMWEB
2004
Springer
15 years 10 months ago
2004
Springer
Abstract— Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, ...
134
click to vote
ACSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
When computer security violations are detected, computer forensic analysts attempting to determine the relevant causes and effects are forced to perform the tedious tasks of find...
116
Voted
SEMWEB
2001
Springer
15 years 9 months ago
2001
Springer
The Semantic Web should enable greater access not only to content but also to services on the Web. Users and software agents should be able to discover, invoke, compose, and monit...