Sciweavers

983 search results - page 109 / 197
» Object-oriented Abstractions for Distributed Programming
Sort
View
97
Voted
EUROGP
2008
Springer
15 years 4 months ago
Evolving Proactive Aggregation Protocols
We present an approach for the automated synthesis of proactive aggregation protocols using Genetic Programming and discuss major decisions in modeling and simulating distributed a...
Thomas Weise, Michael Zapf, Kurt Geihs
93
Voted
ACSAC
1999
IEEE
15 years 6 months ago
Tools to Support Secure Enterprise Computing
Secure enterprise programming is a difficult and tedious task. Programmers need tools that support t levels of abstraction and that track all the components that participate in di...
Myong H. Kang, Brian J. Eppinger, Judith N. Frosch...
AMS
2007
Springer
229views Robotics» more  AMS 2007»
15 years 6 months ago
A Unified Robotic Software Architecture for Service Robotics and Networks of Smart Sensors
Abstract. This paper proposes a novel architecture for the programming of multi-modal service robots and networked sensors. The presented software framework eases the development o...
Daniel Westhoff, Jianwei Zhang
CCS
2005
ACM
15 years 8 months ago
Formal security analysis of basic network-attached storage
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
Avik Chaudhuri, Martín Abadi
139
Voted
PDP
2009
IEEE
15 years 9 months ago
Adding Aspect-Oriented Concepts to the High-Performance Component Model of SBASCO
SBASCO provides a new programming model for parallel and distributed numerical applications which exploits the combination of software components and skeletons. This paper present...
Manuel Díaz, Sergio Romero, Bartolomé...