Sciweavers

5475 search results - page 378 / 1095
» Model Driven Security
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...
IROS
2008
IEEE
101views Robotics» more  IROS 2008»
16 years 1 months ago
Spatial macroscopic models of a bio-inspired robotic swarm algorithm
— We present a comparative study of two spatially resolved macroscopic models of an autonomous robotic swarm. In previous experiments, the collective behavior of 15 autonomous sw...
Heiko Hamann, Heinz Wörn, Karl Crailsheim, Th...
ER
2007
Springer
142views Database» more  ER 2007»
16 years 28 days ago
Multidimensional Data Modeling for Business Process Analysis
The emerging area of business process intelligence attempts to enhance the analytical capabilities of business process management systems by employing data warehousing and mining t...
Svetlana Mansmann, Thomas Neumuth, Marc H. Scholl
CHES
2005
Springer
108views Cryptology» more  CHES 2005»
16 years 9 days ago
Further Hidden Markov Model Cryptanalysis
We extend the model of Karlof and Wagner for modelling side channel attacks via Input Driven Hidden Markov Models (IDHMM) to the case where not every state corresponds to a single ...
P. J. Green, Richard Noad, Nigel P. Smart
ECMDAFA
2005
Springer
122views Hardware» more  ECMDAFA 2005»
16 years 9 days ago
Semantic Anchoring with Model Transformations
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
Kai Chen 0003, Janos Sztipanovits, Sherif Abdelwah...