2407 search results - page 385 / 482 » A Tool for Abstraction in Model Checking |
150
click to vote
INTERACT
2003
15 years 7 months ago
2003
Abstract: Designing and implementing multimodal applications that take advantage of several recognitionbased interaction techniques (e.g. speech and gesture recognition) is a diffi...
170
click to vote
JSI
1998
15 years 5 months ago
1998
Abstract. Category Theory is introduced as the mathematical model for object-oriented systems which are distributed, heterogeneous, real-time, embedded, and open-ended. Each object...
165
Voted
ICIW
2007
IEEE
16 years 12 days ago
2007
IEEE
Abstract— Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approa...
166
Voted
ECAL
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Evolutionary robotics simulations can serve as a tool to clarify counterintuitive or dynamically complex aspects of sensorimotor behaviour. We present a series of simulat...
150
click to vote
ECSA
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. In this paper, we report on the development of a methodology for the evolution of software towards new architectures. In our approach, we represent source code as graphs....