Sciweavers

1501 search results - page 15 / 301
» Towards Integration of Modeling Methods for Cyber-Physical S...
Sort
View
IASTEDSE
2004
15 years 19 days ago
Towards a model-based and incremental development process for service-based systems
In this paper we introduce the concept of service-based modeling and integrate the modeling techniques into existing development processes. We focus on services in the different p...
Martin Deubler, Johannes Grünbauer, Chris Sal...
APSEC
2009
IEEE
14 years 9 months ago
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
AGTIVE
2003
Springer
15 years 4 months ago
Integrating Graph Rewriting and Standard Software Tools
OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewri...
Uwe Aßmann, Johan Lövdahl
AAAI
2007
15 years 1 months ago
Towards an Integrated Robot with Multiple Cognitive Functions
We present integration mechanisms for combining heterogeneous components in a situated information processing system, illustrated by a cognitive robot able to collaborate with a h...
Nick Hawes, Aaron Sloman, Jeremy Wyatt, Michael Zi...
IWINAC
2009
Springer
15 years 5 months ago
Toward an Integrated Visuomotor Representation of the Peripersonal Space
The purpose of this work is the creation of a description of objects in the peripersonal space of a subject that includes two kinds of concepts, related to on-line, action-related ...
Eris Chinellato, Beata Grzyb, Patrizia Fattori, An...