1580 search results - page 152 / 316 » CoTeSys - Cognition for Technical Systems |
162
click to vote
AIS
2006
Springer
15 years 6 months ago
2006
Springer
regarding Social Intelligence Design in an abstraction and device called the SoftBridge. The SoftBridge allows communication to flow from endpoints through adapters, getting conver...
184
click to vote
ENTCS
2008
15 years 6 months ago
2008
Towards a unifying model of concurrency, we have designed and implemented LMNtal (pronounced "elemental"), a model and language based on hierarchical graph rewriting tha...
166
click to vote
FAC
2008
15 years 6 months ago
2008
This paper explains how the Alloy model-finding method has been used to check the specification of an electronic purse (also called smart card) system, called the Mondex case study...
169
click to vote
ECRA
2006
15 years 6 months ago
2006
As the mobile technologies and services are in constant evolution, many speculate on whether or not mobile payments will be a killer application for mobile commerce. To have a bet...
180
click to vote
IJRR
2006
15 years 6 months ago
2006
We describe the design and experimental validation of a large heterogeneous mobile robot team built for the DARPA Software for Distributed Robotics (SDR) program. The core challen...