Sciweavers

2796 search results - page 322 / 560
» A time structure based software reliability model
Sort
View
112
Voted
IROS
2006
IEEE
127views Robotics» more  IROS 2006»
15 years 11 months ago
Performance Optimization of All-Terrain Robots: A 2D Quasi-Static Tool
- The creation of a rover for a specific task requires designing and selecting the mechanical structure specifically for its mission. This can be done by modelling a chassis and ev...
Ambroise Krebs, Thomas Thueer, Stephane Michaud, R...
HICSS
2003
IEEE
111views Biometrics» more  HICSS 2003»
15 years 10 months ago
Modeling the User Acceptance of E-Mail
The Technology Acceptance Model (TAM) predicts whether users will ultimately use software applications based upon causal relationships among belief and attitudinal constructs that...
Geoffrey S. Hubona, Andrew Burton-Jones
BPM
2000
Springer
191views Business» more  BPM 2000»
15 years 9 months ago
ARIS Architecture and Reference Models for Business Process Management
In this article a general business process architecture is presented, which is based on the Architecture of Integrated Information Systems (ARIS) and which is composed of the four ...
August-Wilhelm Scheer, Markus Nüttgens
157
Voted
AMOST
2007
ACM
15 years 9 months ago
Using LTL rewriting to improve the performance of model-checker based test-case generation
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
Gordon Fraser, Franz Wotawa
144
Voted
DKE
2007
82views more  DKE 2007»
15 years 5 months ago
Eliciting information for product modeling using process modeling
A product model is a formal and structured definition of product information. The most common procedure for defining a product data model is to first describe the business and/...
Ghang Lee, Charles M. Eastman, Rafael Sacks