Sciweavers

3885 search results - page 610 / 777
» Clarifying Goal Models
Sort
View
DESRIST
2009
Springer
137views Education» more  DESRIST 2009»
15 years 11 months ago
Coordination analysis: a method for deriving use cases from process dependencies
Despite the widespread recognition that information technology (IT) and business process are tightly connected, existing system design methods provide limited guidance on how to t...
Xiang Michelle Liu, George M. Wyner
LADS
2009
Springer
15 years 11 months ago
The ARTS Real-Time Agent Architecture
Abstract—We present a new approach to providing soft realtime guarantees for Belief-Desire-Intention (BDI) agents. We define what it means for BDI agents to operate in real time...
Konstantin Vikhorev, Natasha Alechina, Brian Logan
ATAL
2001
Springer
15 years 11 months ago
Ontological Overhearing
Abstract. The collaboration between two intelligent agents can be greatly enhanced if a third agent, who has some understanding of the communication between the first two, interve...
Marco Aiello, Paolo Busetta, Antonia Donà, ...
CPM
2001
Springer
111views Combinatorics» more  CPM 2001»
15 years 11 months ago
Multiple Pattern Matching Algorithms on Collage System
Abstract. Compressed pattern matching is one of the most active topics in string matching. The goal is to find all occurrences of a pattern in a compressed text without decompress...
Takuya Kida, Tetsuya Matsumoto, Masayuki Takeda, A...
ESA
2001
Springer
75views Algorithms» more  ESA 2001»
15 years 11 months ago
Strongly Competitive Algorithms for Caching with Pipelined Prefetching
Suppose that a program makes a sequence of m accesses (references) to data blocks, the cache can hold k < m blocks, an access to a block in the cache incurs one time unit, and ...
Alexander Gaysinsky, Alon Itai, Hadas Shachnai