2205 search results - page 261 / 441 » Mutation Operators for Specifications |
143
Voted
AICCSA
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. Workflows are operational business processes. Workfow Management Systems (WFMS) are concerned with the control and coordination of these workflows. In recent years, there...
139
Voted
ARC
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper presents a real time parallel hardware architecture for image feature detection based on the SIFT (Scale Invariant Feature Transform) algorithm. This architect...
123
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Forming effective coalitions is a major research challenge in the field of multi-agent systems. Central to this endeavour is the problem of partitioning the set of agents into exh...
142
click to vote
DIAGRAMS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The spider diagram logic forms a fragment of constraint diagram logic and is designed to be primarily used as a diagrammatic software specification tool. Our interest is ...
133
click to vote
CRITIS
2007
15 years 5 months ago
2007
Much of the world's critical infrastructure is at risk from attack through electronic networks connected to control systems. Security metrics are important because they provid...