366 search results - page 39 / 74 » Syntactic Abstraction of B Models to Generate Tests |
124
Voted
COOPIS
2004
IEEE
15 years 4 months ago
2004
IEEE
Matching descriptions of user requirements against descriptions of service capabilities is crucial for the discovery of appropriate services for a given task. To improve the precis...
114
Voted
DCOSS
2011
Springer
14 years 9 days ago
2011
Springer
—Wireless sensor networks are increasingly being used to improve business processes. The behavior of such a process is usually captured in models while its implementation is typi...
104
Voted
CODES
1999
IEEE
15 years 4 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
106
click to vote
AIIA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The paper describes CiceRobot, a robot based on a cognitive architecture for robot vision and action. The aim of the architecture is to integrate visual perception and ac...
102
Voted
GPEM
2000
15 years 10 days ago
2000
Abstract. Size fair and homologous crossover genetic operators for tree based genetic programming are described and tested. Both produce considerably reduced increases in program s...