Sciweavers

2006 search results - page 219 / 402
» Systematic Component Adaptation
Sort
View
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
15 years 12 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 11 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 11 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 11 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...
HICSS
2003
IEEE
110views Biometrics» more  HICSS 2003»
15 years 11 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