5451 search results - page 221 / 1091 » Typed Operational Semantics |
136
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We refine HO/N game semantics with an additional notion of pointer (mu-pointers) and extend it to first-order classical logic with completeness results. We use a Church style exte...
227
click to vote
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
Orion is a state-of-the-art uncertain database management system with built-in support for probabilistic data as first class data types. In contrast to other uncertain databases, ...
124
click to vote
ICCD
2001
IEEE
16 years 1 months ago
2001
IEEE
Classical floorplanning minimizes a linear combination of area and wirelength. When Simulated Annealing is used, e.g., with the Sequence Pair representation, the typical choice o...
125
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
: It is well known that no security mechanism can provide full protection against a potential attack. There is always a possibility that a security incident may happen, mainly as a...
163
click to vote
SEMCO
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...