Sciweavers

5664 search results - page 759 / 1133
» Creativity support tools
Sort
View
FSEN
2009
Springer
16 years 1 months ago
Evolution Control in MDE Projects: Controlling Model and Code Co-evolution
The dream of Model Driven Engineering (MDE) is that Software Engineering activities should be performed only on models, but in practice a significant amount of programming is still...
Jacky Estublier, Thomas Leveque, Germán Veg...
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