Sciweavers

3856 search results - page 681 / 772
» Models for Automated Earthmoving
Sort
View
115
Voted
COMPSAC
2002
IEEE
15 years 9 months ago
Formalizing Incremental Design in Real-time Area: SCTL/MUS-T
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...
Ana Fernández Vilas, José J. Pazos A...
DSN
2002
IEEE
15 years 9 months ago
Pinpoint: Problem Determination in Large, Dynamic Internet Services
Traditional problem determination techniques rely on static dependency models that are difficult to generate accurately in today’s large, distributed, and dynamic application e...
Mike Y. Chen, Emre Kiciman, Eugene Fratkin, Armand...
HICSS
2002
IEEE
109views Biometrics» more  HICSS 2002»
15 years 9 months ago
Serviceflow Management: Caring for the Citizen's Concern in Designing E-government Transaction Processes
Many authorities have started to use web sites to provide services based on transactions. The guiding vision is often a process portal for citizens that provides access to the cou...
Ralf Klischewski, Ingrid Wetzel
107
Voted
ICECCS
2002
IEEE
91views Hardware» more  ICECCS 2002»
15 years 9 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...
150
Voted
IPPS
2002
IEEE
15 years 8 months ago
Characterizing NAS Benchmark Performance on Shared Heterogeneous Networks
The goal of this research is to develop performance profiles of parallel and distributed applications in order to predict their execution time under different network conditions....
Jaspal Subhlok, Shreenivasa Venkataramaiah, Amitoj...