Sciweavers

15635 search results - page 46 / 3127
» Modelling and Design of VAML
Sort
View
ACSD
2003
IEEE
159views Hardware» more  ACSD 2003»
15 years 9 months ago
Case Studies of Model Checking for Embedded System Designs
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems ple levels of abstraction, so that the design space can be effectively...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
ICRA
2005
IEEE
150views Robotics» more  ICRA 2005»
15 years 9 months ago
An Integrated Spatial Path-planning and Controller Design Approach for a Hover-mode Helicopter Model
— The objective of this paper is to design a controller based on a nonlinear hover-mode model for a helicopter, which can be seamlessly integrated in an existing spatial path-pla...
Kaustubh Pathak, Sunil Kumar Agrawal
BPM
2005
Springer
118views Business» more  BPM 2005»
15 years 9 months ago
Applying Enterprise Models to Design Cooperative Scientific Environments
Scientific experiments are supported by activities that create, use, communicate and distribute information whose organizational dynamics is similar to processes performed by distr...
Andrea Bosin, Nicoletta Dessì, Maria Grazia...
TSE
1998
128views more  TSE 1998»
15 years 3 months ago
Modeling and Evaluating Design Alternatives for an On-Line Instrumentation System: A Case Study
—This paper demonstrates the use of a model-based evaluation approach for instrumentation systems (ISs). The overall objective of this study is to provide early feedback to tool ...
Abdul Waheed, Diane T. Rover, Jeffrey K. Hollingsw...
SAC
2008
ACM
15 years 3 months ago
Designing semantic web services using conceptual model
There are emerging technologies such as SAWSDL or WSMO that extend the current Web Services technologies to so called Semantic Web Services by combining the structural and semanti...
Martin Necasky, Jaroslav Pokorný