Sciweavers

374 search results - page 55 / 75
» Deployment automation with BLITZ
Sort
View
LCN
2003
IEEE
14 years 1 months ago
A Highly Flexible Testbed for Studies of ad-hoc Network Behaviour
Studies of mobile ad-hoc networks are often based on simulation and their underlying, necessarily simplified assumptions of physical reality. In order to analyse the practical pro...
Hartmut Ritter, Min Tian, Thiemo Voigt, Jochen H. ...
JCDL
2010
ACM
143views Education» more  JCDL 2010»
14 years 1 months ago
ProcessTron: efficient semi-automated markup generation for scientific documents
Digitizing legacy documents and marking them up with XML is important for many scientific domains. However, creating comprehensive semantic markup of high quality is challenging. ...
Guido Sautter, Klemens Böhm, Conny Kühne...
ICECCS
2002
IEEE
91views Hardware» more  ICECCS 2002»
14 years 1 months ago
Mars Polar Lander Fault Identification Using Model-based Testing
This paper describes the application of the Test Automation Framework on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft i...
Mark R. Blackburn, Robert Busser, Aaron Nauman, Ro...
AGENTS
2000
Springer
14 years 29 days ago
Scalability of a Transactional Infrastructure for Multi-Agent Systems
Abstract. One of the reasons for attending to agent technology is the evergrowing complexity of information systems and the increasing difficulty to foresee and plan for all potent...
Khaled Nagi
IUI
1998
ACM
14 years 25 days ago
Task-sensitive Cinematography Interfaces for Interactive 3D Learning Environments
Interactive3Dlearningenvironmentscanproviderichproblemsolving experiences with unparalleled visual impact. In these environments, students interactively solve problems by directin...
William H. Bares, Luke S. Zettlemoyer, Dennis W. R...