Sciweavers

3310 search results - page 165 / 662
» Aspect-aware operating system development
Sort
View
IROS
2006
IEEE
109views Robotics» more  IROS 2006»
16 years 13 days ago
SUPERBOT: A Deployable, Multi-Functional, and Modular Self-Reconfigurable Robotic System
– Self-reconfigurable robots are modular robots that can autonomously change their shape and size to meet specific operational demands. Recently, there has been a great interest ...
Behnam Salemi, Mark Moll, Wei-Min Shen
ESOP
2005
Springer
15 years 12 months ago
Towards a Type System for Analyzing JavaScript Programs
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
Peter Thiemann
ATAL
2004
Springer
15 years 11 months ago
Adaptive, Distributed Control of Constrained Multi-Agent Systems
Product Distribution (PD) theory was recently developed as a framework for analyzing and optimizing distributed systems. In this paper we demonstrate its use for adaptive distribu...
Stefan Bieniawski, David Wolpert
INAP
2001
Springer
15 years 11 months ago
ISCO: A Practical Language for Logic-Based Construction of Heterogeneous Information Systems
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...
Salvador Abreu
SP
1997
IEEE
130views Security Privacy» more  SP 1997»
15 years 10 months ago
Execution Monitoring of Security-Critical Programs in Distributed Systems: A Specification-Based Approach
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...
Calvin Ko, Manfred Ruschitzka, Karl N. Levitt