Sciweavers

3310 search results - page 165 / 662
» Aspect-aware operating system development
Sort
View
127
Voted
IROS
2006
IEEE
109views Robotics» more  IROS 2006»
15 years 9 months 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
174
Voted
ESOP
2005
Springer
15 years 9 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
141
Voted
ATAL
2004
Springer
15 years 9 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
124
Voted
INAP
2001
Springer
15 years 8 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
127
Voted
SP
1997
IEEE
130views Security Privacy» more  SP 1997»
15 years 8 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