1366 search results - page 173 / 274 » Modularizing Contexted Constraints |
131
Voted
ICSE
2011
IEEE-ACM
14 years 6 months ago
2011
IEEE-ACM
We present a unified environment for running declarative specifications in the context of an imperative object-oriented programming language. Specifications are Alloy-like, wri...
147
click to vote
SDM
2011
SIAM
14 years 5 months ago
2011
SIAM
Identifying the extremal (minimal and maximal) sets from a collection of sets is an important subproblem in the areas of data-mining and satisfiability checking. For example, ext...
151
click to vote
EMNLP
2011
14 years 2 months ago
2011
Context-dependent word similarity can be measured over multiple cross-cutting dimensions. For example, lung and breath are similar thematically, while authoritative and superfici...
182
click to vote
FROCOS
2011
Springer
14 years 2 months ago
2011
Springer
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...
166
click to vote
INFOCOM
2012
IEEE
13 years 5 months ago
2012
IEEE
—Developing simple distributed algorithms to allow nodes to perform topology discovery and message routing using incomplete topological information is a problem of great interest...