Sciweavers

3885 search results - page 317 / 777
» Clarifying Goal Models
Sort
View
ICDCS
2002
IEEE
15 years 11 months ago
Cooperative Computing for Distributed Embedded Systems
The next generation of computing systems will be embedded, in a virtually unbounded number, and dynamically connected. The current software, network architectures, and their assoc...
Cristian Borcea, Deepa Iyer, Porlin Kang, Akhilesh...
MASA
2001
Springer
15 years 11 months ago
Adaptive Agents in Argumentation-Based Negotiation
The paper presents a multi-agent system that comprises a society of self-interested agents that use argumentation-based negotiation to reach agreements regarding cooperation and go...
Cosmin Carabelea
LACL
1998
Springer
15 years 11 months ago
Sequential Construction of Logical Forms
In this paper we give a formal description of the parsing model that underlies the treatment of Long Distance Dependencies, Topic and Focus, Ellipsis and Quantification in, amongs...
Wilfried Meyer-Viol
CIAC
1997
Springer
111views Algorithms» more  CIAC 1997»
15 years 10 months ago
A Meticulous Analysis of Mergesort Programs
The efficiency of mergesortprogramsis analysed under a simple unit-cost model. In our analysis the time performance of the sorting programs includes the costs of key comparisons, e...
Jyrki Katajainen, Jesper Larsson Träff
DBPL
1997
Springer
133views Database» more  DBPL 1997»
15 years 10 months ago
Automatic Verification of Transactions on an Object-Oriented Database
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
David Spelt, Herman Balsters