5200 search results - page 848 / 1040 » Symbolic models for control systems |
222
click to vote
COORDINATION
2004
Springer
16 years 16 days ago
2004
Springer
This paper presents Limone, a new coordination model that facilitates rapid application development over ad hoc networks consisting of logically mobile agents and physically mobile...
196
click to vote
DFG
2003
Springer
16 years 11 days ago
2003
Springer
Due to the fast growth of internet based electronic business activities, languages for modeling as well as methods for analyzing and executing distributed business processes are be...
216
click to vote
HPCA
1998
IEEE
15 years 11 months ago
1998
IEEE
The performance of a concurrent multithreaded architectural model, called superthreading 15 , is studied in this paper. It tries to integrate optimizing compilation techniques and...
203
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
When exploring a game over a large strategy space, it may not be feasible or cost-effective to evaluate the payoff of every relevant strategy profile. For example, determining a p...
185
click to vote
ACL
2003
15 years 8 months ago
2003
We will demonstrate the latest version of an ongoing project to create an intelligent procedure assistant for use by astronauts on the International Space Station (ISS). The syste...