814 search results - page 131 / 163 » Generic Model Abstraction from Examples |
141
click to vote
UML
2000
Springer
15 years 6 months ago
2000
Springer
Descriptions of reactive systems focus heavily on behavioral aspects, often in terms of scenarios. To cope with the increasing complexity of services provided by these systems, beh...
125
click to vote
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract— Humanoid robots are appealing due to their inherent dexterity. However, these potential benefits may only be realized if the corresponding motion synthesis procedure i...
116
click to vote
FM
2005
Springer
15 years 8 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
139
Voted
ERCIMDL
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The PROBADO project is a research effort to develop Digital Library support for non-textual documents. The main goal is to contribute to all parts of the Digital Library...
105
click to vote
PATAT
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Within the field of software agents, there has been increasing interest in automating the process of calendar scheduling in recent years. Calendar (or meeting) schedulin...