Sciweavers

2065 search results - page 268 / 413
» User interface for multi-agent systems: A case study
Sort
View
193
Voted
SOFTVIS
2010
ACM
15 years 4 months ago
Visual comparison of software architectures
Reverse engineering methods produce different descriptions of software architectures. In this work we analyze and define the task of exploring and comparing these descriptions. ...
Fabian Beck, Stephan Diehl
CDC
2010
IEEE
124views Control Systems» more  CDC 2010»
15 years 1 months ago
Deployment of drifters in a piecewise-constant flow environment
We study a deployment strategy for a group of vehicles that drift in an ambient flow field. Specifically, we address the case where the flow is always greater in magnitude than an ...
Andrew Kwok, Sonia Martínez
FROCOS
2005
Springer
15 years 11 months ago
Connecting a Logical Framework to a First-Order Logic Prover
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
Andreas Abel, Thierry Coquand, Ulf Norell
156
Voted
ACE
2004
163views Education» more  ACE 2004»
15 years 7 months ago
Adventure Cycles A Software Engineering Approach
In this paper we discuss using a case study to demonstrate the software engineering process from requirements, specification, preliminary user manual, prototyping, design, impleme...
John Paynter, Emma Sharkey
MDM
2009
Springer
130views Communications» more  MDM 2009»
16 years 20 days ago
Towards an Indoor Level-of-Detail Model for Route Visualization
Indoor routing represents an essential feature required by applications and systems that provide spatial information about complex sites, buildings and infrastructures such as in ...
Benjamin Hagedorn, Matthias Trapp, Tassilo Glander...