3053 search results - page 120 / 611 » Structured Objects: Modeling and Reasoning |
111
click to vote
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
130
click to vote
ISLPED
1995
ACM
15 years 7 months ago
1995
ACM
In this paper we present a novel approach to model the search space for optimal set data types in network component realisations. The main objective is to arrive at power efficie...
161
Voted
MPC
2010
Springer
15 years 5 months ago
2010
Springer
ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...
119
Voted
PLILP
1998
Springer
15 years 7 months ago
1998
Springer
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...
129
click to vote
SIGIR
1996
ACM
15 years 7 months ago
1996
ACM
The aggregated structure of documents plays a key role in full-text, multimedia, and network Information Retrieval (IR). Considering aggregation provides new querying facilities a...