Sciweavers

8347 search results - page 215 / 1670
» Performance testing of software systems
Sort
View
124
Voted
ICRA
2007
IEEE
178views Robotics» more  ICRA 2007»
15 years 9 months ago
Increased Mars Rover Autonomy using AI Planning, Scheduling and Execution
—This paper presents technology for performing autonomous commanding of a planetary rover. Through the use of AI planning, scheduling and execution techniques, the OASIS autonomo...
Tara A. Estlin, Daniel M. Gaines, Caroline Chouina...
IESS
2009
Springer
131views Hardware» more  IESS 2009»
15 years 8 months ago
A Hybrid Hardware and Software Component Architecture for Embedded System Design
Abstract. Embedded systems are increasing in complexity, while several metrics such as time-to-market, reliability, safety and performance should be considered during the design of...
Hugo Marcondes, Antônio Augusto Fröhlic...
ICSE
2007
IEEE-ACM
16 years 3 months ago
Testing and Analysis of Access Control Policies
Policy testing and analysis are important techniques for high assurance of correct specification of access control policies. We propose a set of testing and analysis techniques fo...
Evan Martin
ICST
2009
IEEE
15 years 1 months ago
An Evaluation of Model Checkers for Specification Based Test Case Generation
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
Gordon Fraser, Angelo Gargantini
CBSE
2006
Springer
15 years 5 months ago
A QoS Driven Development Process Model for Component-Based Software Systems
Non-functional specifications of software components are considered an important asset in constructing dependable systems, since they enable early Quality of Service (QoS) evaluati...
Heiko Koziolek, Jens Happe