Sciweavers

5664 search results - page 889 / 1133
» Creativity support tools
Sort
View
147
Voted
MATA
2004
Springer
15 years 10 months ago
Distributed Shared Contexts
Mobile solutions have gone beyond the role of personal tool to offer solutions in supporting coordinated work. Mobile workers shift constantly from individual to group work, access...
Rosa Alarcón, César A. Collazos, Lui...
114
Voted
MDAFA
2004
Springer
114views Hardware» more  MDAFA 2004»
15 years 10 months ago
Modeling in the Large and Modeling in the Small
Abstract. As part of the AMMA project (ATLAS Model Management Architecture), we are currently building several model management tools to support the tasks of modeling in the large ...
Jean Bézivin, Frédéric Jouaul...
POLICY
2004
Springer
15 years 10 months ago
A Goal-based Approach to Policy Refinement
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...
Arosha K. Bandara, Emil Lupu, Jonathan D. Moffett,...
PPDP
2004
Springer
15 years 10 months ago
Model checking object petri nets in prolog
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
Berndt Farwer, Michael Leuschel
RE
2004
Springer
15 years 10 months ago
From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems
Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. Though AOSD techniques have been proposed to han...
Shmuel Katz, Awais Rashid