13457 search results - page 2585 / 2692 » Design and Development of the Long-Jumping |
216
Voted
GI
2005
Springer
16 years 17 days ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
194
Voted
GRID
2005
Springer
16 years 17 days ago
2005
Springer
— Jobs on the Grid require security credentials throughout their run for accessing secure Grid resources, such as GridFTP data repositories. However, delegating long-lived creden...
195
Voted
ICFEM
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
210
Voted
INTETAIN
2005
Springer
16 years 16 days ago
2005
Springer
The Compass20083 project is a sino-german cooperation, aiming at integrating advanced information technologies to create a hightech information system that helps visitors to access...
200
click to vote
ISRR
2005
Springer
16 years 16 days ago
2005
Springer
We postulate that multi-wheel statically-stable mobile robots for operation in human environments are an evolutionarydead end. Robots of this class tall enough to interact meaning...