Sciweavers

2043 search results - page 220 / 409
» Reasoning About Security Models
Sort
View
LISA
2008
15 years 8 months ago
Dynamic Dependencies and Performance Improvement
The art of performance tuning is, alas, still an art; there are few tools to help predict the effects of changes that are motivated by performance needs. In this work, we present ...
Marc Chiarini, Alva L. Couch
AIPS
2011
14 years 10 months ago
Planning and Acting in Incomplete Domains
Engineering complete planning domain descriptions is often very costly because of human error or lack of domain knowledge. Learning complete domain descriptions is also very chall...
Christopher Weber, Daniel Bryce
CASCON
2006
162views Education» more  CASCON 2006»
15 years 8 months ago
Integrating dynamic views using model driven development
Model Driven Development is helping software developers rapidly engineer today's most sophisticated business applications. Tool support, such as the Eclipse Modeling Framewor...
R. Ian Bull
SIES
2007
IEEE
16 years 24 days ago
Protocol Modelling Semantics for Embedded Systems
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
Ashley T. McNeile, Ella E. Roubtsova
ECMDAFA
2008
Springer
100views Hardware» more  ECMDAFA 2008»
15 years 8 months ago
From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...
Gregor Engels, Anneke Kleppe, Arend Rensink, Maria...