Sciweavers

3101 search results - page 117 / 621
» Composing Adaptive Software
Sort
View
161
Voted
RE
2010
Springer
14 years 10 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
KBSE
2002
IEEE
15 years 8 months ago
Adapting Applications on the Fly
Traditionally, an application has to be stopped to be adapted. This approach is not suitable for critical systems that have to be non-stop and highly available like bank, internet...
Abdelmadjid Ketfi, Noureddine Belkhatir, Pierre-Yv...
GPCE
2007
Springer
15 years 9 months ago
Constructing language processors with algebra combinators
Modular Monadic Semantics (MMS) is a well-known mechanism for structuring modular denotational semantic definitions for programming languages. The principal attraction of MMS is ...
Philip Weaver, Garrin Kimmell, Nicolas Frisby, Per...
NIME
2004
Springer
148views Music» more  NIME 2004»
15 years 8 months ago
EyeMusic: Making Music with the Eyes
Though musical performers routinely use eye movements to communicate with each other during musical performances, very few performers or composers have utilized eye tracking devic...
Anthony J. Hornof, Linda Sato
GCC
2003
Springer
15 years 8 months ago
On-Demand Services Composition and Infrastructure Management
Abstract. This paper presents several engineering applications that involve distributed software services. Due to the complexity of these applications, an efficient and flexible se...
Jun Peng, Jie Wang