Sciweavers

4151 search results - page 408 / 831
» Language Driven System Design
Sort
View
WWW
2006
ACM
16 years 5 months ago
Merging trees: file system and content integration
XML is the predominant format for representing structured information inside documents, but it stops at the level of files. This makes it hard to use XML-oriented tools to process...
Erik Wilde
151
Voted
DALT
2009
Springer
15 years 11 months ago
Correctness Properties for Multiagent Systems
What distinguishes multiagent systems from other software systems is their emphasis on the interactions among autonomous, heterogeneous agents. This paper motivates and characteriz...
Munindar P. Singh, Amit K. Chopra
UBIMOB
2009
ACM
154views Management» more  UBIMOB 2009»
15 years 11 months ago
SoCQ: a pervasive environment management system
Pervasive systems give an overview of what digital environments should look like in the future. SoCQ takes a data-oriented perspective on the pervasive environment through a uniļ¬...
Yann Gripay, Frédérique Laforest, Je...
ICAS
2006
IEEE
140views Robotics» more  ICAS 2006»
15 years 11 months ago
Control System Framework for Autonomous Robots Based on Extended State Machines
We present a new framework optimized for the design, implementation, and testing of control systems for autonomous robots. It is based on a new visual specification language whic...
Torsten Merz, Piotr Rudol, Mariusz Wzorek
APSEC
2003
IEEE
15 years 10 months ago
Developing Secure Networked Web-Based Systems Using Model-based Risk Assessment and UMLsec
Despite a growing awareness of security issues in networked computing systems, most development processes used today still do not take security aspects into account. To address th...
Siv Hilde Houmb, Jan Jürjens