226 search results - page 40 / 46 » GAC on Conjunctions of Constraints |
WORDS
2002
IEEE
14 years 11 days ago
2002
IEEE
: The monolithic and inflexible nature of current middleware has made it difficult to deal with emerging technologies such as multimedia. Since these applications have timeliness c...
HYBRID
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
CGI
2000
IEEE
13 years 12 months ago
2000
IEEE
A novel procedure for segmenting a set of scattered 3D data obtained from a head and shoulders multiview sequence is presented. The procedure consists of two steps. In the first ...
ECAI
2000
Springer
13 years 11 months ago
2000
Springer
Earlier work on scheduling by autonomous systems has demonstrated that schedules in the form of simple temporal networks, with intervals of values for possible event-times, can be ...
NDSS
1998
IEEE
13 years 11 months ago
1998
IEEE
In this work, we aim to reduce the computational costs of using public-key digital signatures in securing routing protocols. Two protocols (COSP and IOSP) using one-time digitalsi...