6047 search results - page 1008 / 1210 » Modeling with Extend |
126
Voted
AGENTS
1998
Springer
15 years 7 months ago
1998
Springer
The World-Wide Web is developing very fast. Currently, nding useful information on the Web is a time consuming process. In this paper, we present WebMate, an agent that helps user...
117
click to vote
FOCS
1997
IEEE
15 years 7 months ago
1997
IEEE
Abstract. We show how to associate e ectively computableobstructions to a waitfree distributed decision task (I;O; ) in the asynchronous shared-memory, readwrite model. The key new...
138
click to vote
TAGT
1998
Springer
15 years 7 months ago
1998
Springer
Reactive systems perform their tasks through interaction with their users or with other systems (as parts of a bigger system). An essential requirement for modeling such systems is...
114
click to vote
CHI
1997
ACM
15 years 7 months ago
1997
ACM
d in Extended Abstracts, Human Factors in Computing Systems (CHI conference proceedings), Association for Computing Machinery, 1997, pp. 246-247. Originally appeared as Working Pap...
160
click to vote
CAISE
1997
Springer
15 years 7 months ago
1997
Springer
Abstract: Traceability is a prerequisite for managing the evolution of (software) systems. Assuring overall traceability of a system development process, i.e., capturing and interr...