1027 search results - page 160 / 206 » Representing and Reasoning with Operational Semantics |
92
Voted
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manife...
107
click to vote
ICDE
1994
IEEE
15 years 4 months ago
1994
IEEE
The relational data model is based on sets of tuples, i.e. it does not allow duplicate tuples in a relation. Many database languages and systems do require multi-set place, the hi...
201
click to vote
ICDE
2000
IEEE
16 years 1 months ago
2000
IEEE
Decision-support applications in emerging environments require that SQL query results or intermediate results be shipped to clients for further analysis and presentation. These cl...
MODELS
2009
Springer
15 years 7 months ago
2009
Springer
The standardized QVT Relations language, one cornerstone of Model-Driven Architecture (MDA), has not yet gained widespread use in practice, not least due to missing tool support in...
90
Voted
WWW
2010
ACM
15 years 5 months ago
2010
ACM
This paper addresses the problem of identifying redundant data in large-scale service-oriented information systems. Specifically, the paper puts forward an automated method to pi...