4084 search results - page 698 / 817 » Constraints in spatial structures |
133
Voted
SRDS
2007
IEEE
15 years 11 months ago
2007
IEEE
The secure and robust functioning of a network relies on the defect-free implementation of network applications. As network protocols have become increasingly complex, however, ha...
140
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent s...
163
click to vote
COCOA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Many combinatorial optimization problems can be formulated as 0/1 integer programs (0/1 IPs). The investigation of the structure of these problems raises the following ta...
122
click to vote
CP
2007
Springer
15 years 11 months ago
2007
Springer
We introduce groupoids – generalisations of groups in which not all pairs of elements may be multiplied, or, equivalently, categories in which all morphisms are invertible – as...
138
click to vote
FCT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...