201 search results - page 25 / 41 » Declaring Numbers |
KCAP
2005
ACM
14 years 3 months ago
2005
ACM
Current knowledge acquisition tools have limited understanding of how users enter knowledge and how acquired knowledge is used, and provide limited assistance in organizing variou...
SAT
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We present a new generic problem solving approach for overconstrained problems based on Max-SAT. We first define a clausal form formalism that deals with blocks of clau...
CCS
2004
ACM
14 years 3 months ago
2004
ACM
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...
ECOOP
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
PPDP
2004
Springer
14 years 3 months ago
2004
Springer
SML.NET is a compiler for Standard ML that targets the Common Language Runtime and is integrated into the Visual Studio development environment. It supports easy interoperability ...