Sciweavers

4386 search results - page 348 / 878
» A Tamper-Resistant Programming Language System
Sort
View
SAC
2005
ACM
15 years 9 months ago
Formal modeling and quantitative analysis of KLAIM-based mobile systems
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Diego Latella, Mieke Massink
IAT
2006
IEEE
15 years 9 months ago
Towards High-Level Programming for Distributed Problem Solving
We present a new approach to distributed problem solving based on high-level program execution. While this technique has proven itself for single-agent systems based on the Golog ...
Ryan F. Kelly, Adrian R. Pearce
EUROPAR
2005
Springer
15 years 9 months ago
Soft Computing Approach to Performance Analysis of Parallel and Distributed Programs
This paper describes a novel approach to performance analysis for parallel and distributed systems that is based on soft computing. We introduce the concept of performance score re...
Hong Linh Truong, Thomas Fahringer
SAC
2003
ACM
15 years 9 months ago
ARCHITECT-R: A System for Reconfigurable Robots Design
An increasing interest in the design of mobile robots has been observed in recent years, which is mainly motivated by technological advances that may allow their application to co...
R. A. Gonçalves, P. A. Moraes, João ...
HVC
2007
Springer
153views Hardware» more  HVC 2007»
15 years 7 months ago
On the Architecture of System Verification Environments
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...
Mark A. Hillebrand, Wolfgang J. Paul