Sciweavers

1502 search results - page 202 / 301
» Computational Realizations of Living Systems
Sort
View
EDOC
2006
IEEE
16 years 14 days ago
Requirements Traceability and Transformation Conformance in Model-Driven Development
The variety of design artefacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper pro...
João Paulo A. Almeida, Pascal van Eck, Mari...
ROBIO
2006
IEEE
217views Robotics» more  ROBIO 2006»
16 years 13 days ago
Modular software architecture for teams of cooperating, heterogeneous robots
— For teams of cooperating autonomous lightweight robots with challenging dynamical locomotion properties a platform independent modular software architecture and platform indepe...
Martin Friedmann, Jutta Kiener, Sebastian Petters,...
HPCC
2005
Springer
15 years 12 months ago
A Lightweight Platform for Integration of Mobile Devices into Pervasive Grids
For future generation Grids to be truly pervasive we need to allow for the integration of mobile devices, in order to leverage available resources and broaden the range of supplie...
Stavros Isaiadis, Vladimir Getov
RAID
2005
Springer
15 years 12 months ago
Behavioral Distance for Intrusion Detection
We introduce a notion, behavioral distance, for evaluating the extent to which processes—potentially running different programs and executing on different platforms—behave si...
Debin Gao, Michael K. Reiter, Dawn Xiaodong Song
ICTAC
2004
Springer
15 years 11 months ago
Verifying OWL and ORL Ontologies in PVS
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and ...
Jin Song Dong, Yuzhang Feng, Yuan-Fang Li