6040 search results - page 1089 / 1208 » Generating Instance Models from Meta Models |
121
click to vote
CHARME
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
120
click to vote
DCOSS
2005
Springer
15 years 8 months ago
2005
Springer
The literature on programming sensor networks has focused so far on g higher-level abstractions for expressing local node behavior. Kairos is a natural next step in sensor network ...
112
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
The iterated prisoner’s dilemma is a widely used computational model of cooperation and conflict. Many studies report emergent cooperation in populations of agents trained to p...
124
click to vote
KI
2005
Springer
15 years 7 months ago
2005
Springer
Dealing with methods of human-robot interaction and using a real mobile robot, stable methods for people detection and tracking are fundamental features of such a system and requir...
121
click to vote
PATMOS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Modern embedded devices (e.g. PDAs, mobile phones) are now incorporating Java as a very popular implementation language in their designs. These new embedded systems inclu...