Sciweavers

5433 search results - page 708 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
MODELS
2009
Springer
16 years 1 months ago
Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets
The standardized QVT Relations language, one cornerstone of Model-Driven Architecture (MDA), has not yet gained widespread use in practice, not least due to missing tool support in...
Manuel Wimmer, Angelika Kusel, Johannes Schön...
UIST
2009
ACM
16 years 1 months ago
Relaxed selection techniques for querying time-series graphs
Time-series graphs are often used to visualize phenomena that change over time. Common tasks include comparing values at different points in time and searching for specified patte...
Christian Holz, Steven Feiner
ICAC
2008
IEEE
16 years 1 months ago
Digital Evolution of Behavioral Models for Autonomic Systems
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...
Heather Goldsby, Betty H. C. Cheng, Philip K. McKi...
ACNS
2008
Springer
115views Cryptology» more  ACNS 2008»
16 years 1 months ago
The Security of EPC Gen2 Compliant RFID Protocols
The increased functionality of EPC Class1 Gen2 (EPCGen2) is making this standard the de facto specification for inexpensive tags in the RFID industry. EPCGen2 supports only very b...
Mike Burmester, Breno de Medeiros
CEC
2007
IEEE
16 years 1 months ago
Evolutionary optimization of parameters for distributed virtual environments
—In a distributed virtual environment interest management schemes attempt to ensure virtual world objects exchange messages only if they are interacting. This provides an opportu...
Simon E. Parkin, Peter Andras, Graham Morgan