2132 search results - page 272 / 427 » Automated software winnowing |
152
click to vote
ISORC
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper provides three contributions to the study of quality of service (QoS) configuration in component-based DRE systems. First, we describe the challenges associated with m...
169
click to vote
EMSOFT
2007
Springer
15 years 11 months ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
123
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
159
click to vote
EDOC
2006
IEEE
15 years 11 months ago
2006
IEEE
Increasingly, distributed systems are being constructed by composing a number of discrete components. This practice, termed composition, is particularly prevalent within the Web s...
149
Voted
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
Service-based systems have many applications, including collaborative research and development, e-business, health care, environmental control, military applications, and homeland...