Sciweavers

3119 search results - page 543 / 624
» Abstract Requirement Analysis in Multiagent System Design
Sort
View
113
Voted
DATE
2002
IEEE
123views Hardware» more  DATE 2002»
15 years 8 months ago
False Path Elimination in Quasi-Static Scheduling
We have developed a technique to compute a Quasi Static Schedule of a concurrent specification for the software partition of an embedded system. Previous work did not take into a...
G. Arrigoni, L. Duchini, Claudio Passerone, Lucian...
140
Voted
CRYPTO
1999
Springer
109views Cryptology» more  CRYPTO 1999»
15 years 8 months ago
Coding Constructions for Blacklisting Problems without Computational Assumptions
Abstract. We consider the broadcast exclusion problem: how to transmit a message over a broadcast channel shared by N = 2n users so that all but some specified coalition of k excl...
Ravi Kumar, Sridhar Rajagopalan, Amit Sahai
146
Voted
CIKM
1997
Springer
15 years 7 months ago
A Framework for the Management of Past Experiences with Time-Extended Situations
: In the context of knowledge management, we focus on the representation and the retrieval of past experiences called cases within the Case-Based Reasoning (CBR) paradigm. CBR is a...
Michel Jaczynski
162
Voted
ADBIS
2006
Springer
135views Database» more  ADBIS 2006»
15 years 7 months ago
Interactive Discovery and Composition of Complex Web Services
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
Sergey A. Stupnikov, Leonid A. Kalinichenko, St&ea...
150
Voted
DASFAA
2004
IEEE
158views Database» more  DASFAA 2004»
15 years 7 months ago
A Cost Model for Spatial Intersection Queries on RI-Trees
Abstract. The efficient management of interval sequences represents a core requirement for many temporal and spatial database applications. With the Relational Interval Tree (RI-tr...
Hans-Peter Kriegel, Martin Pfeifle, Marco Pöt...