Sciweavers

2006 search results - page 219 / 402
» Systematic Component Adaptation
Sort
View
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
15 years 9 months ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler
RE
2004
Springer
15 years 9 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
UPP
2004
Springer
15 years 9 months ago
Overview of Generative Software Development
Abstract. System family engineering seeks to exploit the commonalities among systems from a given problem domain while managing the variabilities among them in a systematic way. In...
Krzysztof Czarnecki
CA
2003
IEEE
15 years 9 months ago
How Believable Are Real Faces? Towards a Perceptual Basis for Conversational Animation
Regardless of whether the humans involved are virtual or real, well-developed conversational skills are a necessity. The synthesis of interface agents that are not only understand...
Douglas W. Cunningham, Martin Breidt, Mario Kleine...
104
Voted
HICSS
2003
IEEE
110views Biometrics» more  HICSS 2003»
15 years 9 months ago
The Research on the Policy Information System: A Case Study of National Health Insurance Policy in Taiwan
A wrong policy is far worse than corruption. It goes without saying that making good policies has its substantial importance and influence. It is assumed that policy information s...
Yu-Ying Ku