Sciweavers

3192 search results - page 212 / 639
» A Requirements-Driven Development Methodology
Sort
View
CEEMAS
2007
Springer
15 years 10 months ago
Knowledge Driven Architecture for Home Care
Multi-Agent Systems (MAS) in health-care domains are showing a rapid increase, in order to manage complex tasks and adapt gracefully to unexpected events. On the other hand, the la...
Ákos Hajnal, David Isern, Antonio Moreno, G...
FOSAD
2009
Springer
15 years 10 months ago
Verification of Concurrent Programs with Chalice
A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input and every thread schedule. These lecture notes des...
K. Rustan M. Leino, Peter Müller, Jan Smans
3DPVT
2004
IEEE
159views Visualization» more  3DPVT 2004»
15 years 10 months ago
Blind Watermarking of 3D Shapes using Localized Constraints
This paper develops a digital watermarking methodology for 3-D graphical objects defined by polygonal meshes. In watermarking or fingerprinting the aim is to embed a code in a giv...
Adrian G. Bors
ACRI
2004
Springer
15 years 10 months ago
Modelling Wildfire Dynamics via Interacting Automata
The modelling of wildland fire spread across a heterogeneous landscape is significant because fire dynamics are sensitive to local spatial characteristics. The development of accur...
Adam Dunn, George Milne
CAISE
2006
Springer
15 years 10 months ago
Data Conceptualisation for Web-Based Data-Centred Application Design
The paper describes the conceptualisation process in the ReQuest approach, a wide-spectrum methodology for web-based information systems analysis and development. This methodology ...
Julien Vilz, Anne-France Brogneaux, Ravi Ramdoyal,...