Sciweavers

1792 search results - page 291 / 359
» Requirements Capture with RCAT
Sort
View
FCT
1999
Springer
15 years 10 months ago
Tile Transition Systems as Structured Coalgebras
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side e ects which a...
Andrea Corradini, Reiko Heckel, Ugo Montanari
GIS
1999
ACM
15 years 10 months ago
Spatial Data Integrity Constraints in Object Oriented Geographic Data Modeling
An important activity in the design of a particular database application consists in identifying the integrity constraints that must hold on the database, and that are used to det...
Karla A. V. Borges, Alberto H. F. Laender, Clodove...
DEXAW
1998
IEEE
131views Database» more  DEXAW 1998»
15 years 10 months ago
A Reference Model and Software Support for Bid Preparation in Supply Chains in the Construction Industry
This paper describes two results of the European ESPRIT project no. 22828 ,,CSCCM", which aims at optimising the bidding process of small and medium companies in the construc...
Mathias Krömker, Frithjof Weber, Viktoria Ste...
KDD
1999
ACM
185views Data Mining» more  KDD 1999»
15 years 10 months ago
User-Driven Navigation Pattern Discovery from Internet Data
Managers of electronic commerce sites need to learn as much as possible about their customers and those browsing their virtual premises, in order to maximise the return on marketin...
Matthias Baumgarten, Alex G. Büchner, Sarabjo...
ATAL
1998
Springer
15 years 10 months ago
Intention Reconsideration Reconsidered
Abstract. In this paper, we consider the issue of designing agents that successfully balance the amount of time spent in reconsidering their intentions against the amount of time s...
Michael Wooldridge, Simon Parsons