999 search results - page 96 / 200 » Constraints in Non-Boolean Contexts |
165
click to vote
FLOPS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Binding-time polymorphism enables a highly flexible bindingtime analysis for offline partial evaluation. This work provides the tools to translate this flexibility into...
168
click to vote
APSEC
1998
IEEE
15 years 10 months ago
1998
IEEE
Component based software engineering (CBSE) represents an exciting and promising paradigm for software development, attracting much interest and effort from industrial practice an...
143
click to vote
EDCC
2006
Springer
15 years 10 months ago
2006
Springer
Mobile devices are increasingly relied on but are used in contexts that put them at risk of physical damage, loss or theft. We consider a fault-tolerance approach that exploits sp...
173
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
The authors have proposed using category-theoretic sketches to enhance database design and integration methodologies. The algebraic context is called the Sketch Data Model (SkDM) a...
149
click to vote
UAI
1998
15 years 7 months ago
1998
We take another look at the general problem of selecting a preferred probability measure among those that comply with some given constraints. The dominant role that entropy maximi...