Sciweavers

2473 search results - page 186 / 495
» Systems, Views and Models of UML
Sort
View
194
Voted
CSMR
2007
IEEE
16 years 1 months ago
A Feature-Oriented Adaptive Component Model for Dynamic Evolution
Dynamic adaptation has been an essential requirement for more and more business systems. Some research works have focused on the structural or behavioral changes of adaptive progr...
Xin Peng, Yijian Wu, Wenyun Zhao
ISMAR
2009
IEEE
16 years 1 months ago
Interactive model reconstruction with user guidance
Generating 3D models of real world objects is a common task during development of any augmented reality application. This paper describes how ProFORMA (Probabilistic Feature-based...
Qi Pan, Gerhard Reitmayr, Tom Drummond
POLICY
2004
Springer
16 years 11 days 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,...
182
Voted
ACSC
2004
IEEE
15 years 10 months ago
Java Implementation Verification Using Reverse Engineering
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
David J. A. Cooper, Benjamin Khoo, Brian R. von Ko...
201
Voted
ICWE
2011
Springer
14 years 10 months ago
Formal Modeling of RESTful Systems Using Finite-State Machines
Representational State Transfer (REST), as an architectural style for distributed hypermedia systems, enables scalable operation of the World Wide Web (WWW) and is the foundation f...
Ivan Zuzak, Ivan Budiselic, Goran Delac