6040 search results - page 1089 / 1208 » Generating Instance Models from Meta Models |
162
click to vote
CHARME
2005
Springer
15 years 12 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...
166
click to vote
DCOSS
2005
Springer
15 years 12 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 ...
160
click to vote
GECCO
2005
Springer
15 years 12 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...
170
click to vote
KI
2005
Springer
15 years 11 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...
162
click to vote
PATMOS
2005
Springer
15 years 11 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...