7080 search results - page 1285 / 1416 » Designing High Integrity Systems Using Aspects |
138
click to vote
RTA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this paper we present our formalization of two important termination techniques for term rewrite systems: the subterm criterion and the reduction pair processor in com...
119
click to vote
ISER
2000
Springer
2000
Springer
Simulation and Experimental Evaluation of Complete Sensor-Based Coverage in Rectilinear Environments
15 years 6 months ago
: Although sensor-based coverage is a skill which is applicable to a variety of robot tasks, its implementation has so far been limited, mostly by the physical limitations of tradi...
146
click to vote
AUTONOMICS
2008
ACM
15 years 5 months ago
2008
ACM
Autonomic Management capabilities become increasingly important for attaining functional and quality goals in software systems. Nonetheless, successful Autonomic Management soluti...
142
Voted
BPM
2008
Springer
15 years 5 months ago
2008
Springer
The need to involve business users in process modeling is largely perceived in the context of Business Process Management systems. This can facilitate the elaboration of consistent...
113
click to vote
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
We introduce the Ranked Feature Fusion framework for information retrieval system design. Typical information retrieval formalisms such as the vector space model, the bestmatch mo...