Sciweavers

3435 search results - page 286 / 687
» Understanding Mashup Development
Sort
View
AGENTS
2001
Springer
15 years 7 months ago
A knowledge level software engineering methodology for agent oriented programming
Our goal in this paper is to introduce and motivatea methodology, called Tropos, for building agent oriented software systems. Tropos is based on two key ideas. First, the notion ...
Paolo Bresciani, Anna Perini, Paolo Giorgini, Faus...
136
Voted
DAWAK
2001
Springer
15 years 7 months ago
An Experimental Performance Evaluation of Incremental Materialized View Maintenance in Object Databases
The development of techniques for supporting incremental maintenance of materialized views has been an active research area for over twenty years. However, although there has been ...
M. Akhtar Ali, Norman W. Paton, Alvaro A. A. Ferna...
MMMACNS
2001
Springer
15 years 7 months ago
Open Issues in Formal Methods for Cryptographic Protocol Analysis
The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidatio...
Catherine Meadows
ROBOCUP
2001
Springer
150views Robotics» more  ROBOCUP 2001»
15 years 7 months ago
CoPS-Team Description
Abstract. This paper presents the hardware and software design principles of the medium size RoboCup Team CoPS which are developed by the image understanding group at the Institute...
Reinhard Lafrenz, Michael Becht, Thorsten Buchheim...
WEBDB
2001
Springer
92views Database» more  WEBDB 2001»
15 years 7 months ago
Generating Synthetic Complex-Structured XML Data
Synthetically generated data has always been important for evaluating and understanding new ideas in database research. In this paper, we describe a data generator for generating ...
Ashraf Aboulnaga, Jeffrey F. Naughton, Chun Zhang