5451 search results - page 298 / 1091 » Typed Operational Semantics |
127
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
In this paper we will present the two basic operations for database schemas used in database mapping systems (separation and Data Federation), and we will explain why the functoria...
223
click to vote
CALCO
2011
Springer
14 years 4 months ago
2011
Springer
Fusion is arguably the simplest way to combine modal logics. For normal modal logics with Kripke semantics, many properties such as completeness and decidability are known to trans...
146
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
We describe the “STSC” prototype tool that supports the statistical testing of software components. The tool supports a wide range of operational profiles and test oracles for...
136
click to vote
TOG
2002
15 years 4 months ago
2002
Cutting and pasting to combine different elements into a common structure are widely used operations that have been successfully adapted to many media types. Surface design could ...
151
click to vote
FAST
2010
15 years 7 months ago
2010
An understanding of application I/O access patterns is useful in several situations. First, gaining insight into what applications are doing with their data at a semantic level he...