366 search results - page 39 / 74 » Syntactic Abstraction of B Models to Generate Tests |
COOPIS
2004
IEEE
14 years 24 days 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...
DCOSS
2011
Springer
12 years 8 months 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...
CODES
1999
IEEE
14 years 1 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...
AIIA
2005
Springer
14 years 2 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...
GPEM
2000
13 years 8 months 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...