4949 search results - page 714 / 990 » Consistency and Set Intersection |
211
click to vote
ESEC
1997
Springer
15 years 10 months ago
1997
Springer
Fifteen teams recently used the WinWin Spiral Model to perform the system engineering and architecting of a set of multimedia applications for the USC Library Information Systems....
150
click to vote
RTAS
1996
IEEE
15 years 10 months ago
1996
IEEE
Communication between current military real-time systems and future interconnection of general purpose, embedded real-time systems will often require wireless communications. Howe...
166
click to vote
ICFEM
1997
Springer
15 years 10 months ago
1997
Springer
Previous work has addressed the development of a framework to categorise and understand agent-based systems. It described and formalised an agent-hierarchy that included objects, ...
147
click to vote
PODC
1996
ACM
15 years 10 months ago
1996
ACM
Drawing ideas from previous authors, we present a new non-blocking concurrent queue algorithm and a new twolock queue algorithm in which one enqueue and one dequeue can proceed co...
210
click to vote
LPKR
1997
Springer
15 years 10 months ago
1997
Springer
The purpose of this paper is to investigate the methodology of reasoning with prioritized defaults in the language of logic programs under the answer set semantics. We present a do...