Sciweavers

4386 search results - page 539 / 878
» A Tamper-Resistant Programming Language System
Sort
View
DALT
2004
Springer
15 years 9 months ago
Reasoning About Agents' Interaction Protocols Inside DCaseLP
Engineering systems of heterogeneous agents is a difficult task; one of the ways for achieving the successful industrial deployment of agent technology is the development of engine...
Matteo Baldoni, Cristina Baroglio, Ivana Gungui, A...
NIME
2004
Springer
162views Music» more  NIME 2004»
15 years 9 months ago
The Architecture of Auracle: a Real-Time, Distributed, Collaborative Instrument
Auracle is a “group instrument,” controlled by the voice, for real-time, interactive, distributed music making over the Internet. It is implemented in the JavaTM programming l...
Chandrasekhar Ramakrishnan, Jason Freeman, Kristja...
ESOP
2003
Springer
15 years 9 months ago
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
Karine Altisen, Aurélie Clodic, Florence Ma...
ECOOP
2010
Springer
15 years 9 months ago
Detecting Missing Method Calls in Object-Oriented Software
When using object-oriented frameworks it is easy to overlook certain important method calls that are required at particular places in code. In this paper, we provide a comprehensiv...
Martin Monperrus, Marcel Bruch, Mira Mezini
IFIP
2010
Springer
15 years 9 months ago
A Novel Framework for Data Registration and Data Fusion in Presence of Multi-modal Sensors
Abstract. This article presents a novel framework to register and fuse heterogeneous sensory data. Our approach is based on geometrically registration of sensory data onto a set of...
Hadi Aliakbarpour, João Filipe Ferreira, Ka...