277 search results - page 44 / 56 » An Approach to Specify and Test Component-Based Dependable S... |
110
click to vote
EUROMICRO
2009
IEEE
15 years 3 months ago
2009
IEEE
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transform...
100
Voted
HOTOS
2007
IEEE
15 years 3 months ago
2007
IEEE
System configuration management is difficult because systems evolve in an undisciplined way: packages are upgraded, configuration files are edited, and so on. The management of ex...
97
Voted
IJMTM
2007
14 years 11 months ago
2007
Large, industry-wide interoperability projects use syntax-based standards approaches to accomplish interoperable data exchange among enterprise applications. We are investigating S...
PERVASIVE
2010
Springer
15 years 1 months ago
2010
Springer
We present the design and evaluation of Panoramic, a tool that enables end-users to specify and verify an important family of complex location events. Our approach aims to reduce o...
109
Voted
IESA
2007
15 years 1 months ago
2007
Increased performance is the key reason for developing software with virtual teams but the research efforts to date are limited. Difficulties for a formal, generic approach are mul...