Sciweavers

1146 search results - page 99 / 230
» Semantics of Data Streams and Operators
Sort
View
CAISE
1999
Springer
15 years 8 months ago
A Uniform Approach to Inter-model Transformations
Whilst it is a common task in systems integration to have to transform between di erent semantic data models, such inter-model transformations are often speci ed in an ad hoc manne...
Peter McBrien, Alexandra Poulovassilis
GI
2010
Springer
15 years 2 months ago
Extended Workflow Flexibility using Rule-Based Adaptation Patterns with Eventing Semantics
: In several industry scenarios, it is often the case that an existing reference workflow has to be adapted according to specific context factors, which might even change at runtim...
Markus Döhring, Birgit Zimmermann, Eicke Gode...
AMAST
2006
Springer
15 years 7 months ago
Testing Semantics: Connecting Processes and Process Logics
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...
Dusko Pavlovic, Michael W. Mislove, James Worrell
ACSAC
2003
IEEE
15 years 9 months ago
Automated Analysis for Digital Forensic Science: Semantic Integrity Checking
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...
Tye Stallard, Karl N. Levitt
SIGCSE
2009
ACM
137views Education» more  SIGCSE 2009»
16 years 4 months ago
The hidden injuries of overloading 'ADT'
commonly stated definition of abstract data type (ADT) is that it is a domain of values and the operations over that domain. So, for example, a language's built-in types, lik...
Duane Buck, David J. Stucki