Sciweavers

12670 search results - page 192 / 2534
» Requirements Modeling
Sort
View
149
Voted
CARDIS
2008
Springer
146views Hardware» more  CARDIS 2008»
15 years 5 months ago
Provably Secure Grouping-Proofs for RFID Tags
We investigate an application of RFIDs referred to in the literature as group scanning, in which several tags are "simultaneously" scanned by a reader device. Our goal is...
Mike Burmester, Breno de Medeiros, Rossana Motta
123
Voted
GIS
1999
ACM
15 years 8 months ago
Spatio-Temporal Conceptual Models: Data Structures + Space + Time
Nowadays, many applications need data modeling facilities for the description of complex objects with spatial and/or temporal facilities. Responses to such requirements may be fou...
Christine Parent, Stefano Spaccapietra, Esteban Zi...
123
Voted
MKWI
2008
188views Business» more  MKWI 2008»
15 years 5 months ago
A Pragmatic Approach to Traceability in Model-Driven Development
: A common problem in model-driven software development processes is the tracing of requirements across different phases of the software development life cycle iple levels of abstr...
Markus Aleksy, Tobias Hildenbrand, Claudia Obergfe...
136
Voted
ENTCS
2008
87views more  ENTCS 2008»
15 years 3 months ago
A Lightweight Approach for the Semantic Validation of Model Refinements
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
Claudia Pons, Diego García
127
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
Synthesis of live behaviour models
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...
Nicolás D'Ippolito, Víctor A. Braber...