21 search results - page 2 / 5 » zum 2005 |
ZUM
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
ZUM
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
GI
2005
Springer
13 years 10 months ago
2005
Springer
: Die Qualität Service-orientierter Softwaresysteme hängt wesentlich von der Einbindung der richtigen Dienste ab. Zwei grundsätzliche Aspekte kommen hierbei zum Tragen: (1) Pass...
GI
2005
Springer
13 years 10 months ago
2005
Springer
: Das SPI-Modell dient zur Repr¨asentation von heterogenen eingebetteten Systemen. Basierend auf diesem Modell wurde in einem Forschungsverbund zwischen der TU Braunschweig, der U...
GI
2005
Springer
13 years 10 months ago
2005
Springer
Abstract: In der Lehre zum Thema Wissensbasierte Robotik verwenden wir seit Kurzem den Robotersimulator USARSIM, der weltweit im Kontext der RoboCup Rescue Real Robot Liga eingeset...