13457 search results - page 2585 / 2692 » Design and Development of the Long-Jumping |
GI
2005
Springer
15 years 3 months 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...
GRID
2005
Springer
15 years 3 months 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...
ICFEM
2005
Springer
15 years 3 months 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...
104
click to vote
INTETAIN
2005
Springer
15 years 3 months 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...
ISRR
2005
Springer
15 years 3 months 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...