5525 search results - page 312 / 1105 » Verification of Model Transformations |
157
click to vote
FOAL
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we specify an operational run-time semantics of Assignment Featherweight Java -- a minimal subset of Java with assignments -- with around advice, using graph transfo...
152
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
The concept of invariance for Parameterised Boolean Equation Systems (PBESs) is studied in greater detail. We identify an issue with the associated theory and fix this problem by p...
215
Voted
SSD
2007
Springer
16 years 26 days ago
2007
Springer
We address continuously processing an aggregation join query over data streams. Queries of this type involve both join and aggregation operations, with windows specified on join ...
151
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Agent-based simulation is increasingly used to analyze the performance of complex systems. There are two main ways agentbased models are built -- from equation-based models and di...
188
click to vote
KDD
2002
ACM
16 years 7 months ago
2002
ACM
Data on individuals and entities are being collected widely. These data can contain information that explicitly identifies the individual (e.g., social security number). Data can ...