Sciweavers

7891 search results - page 948 / 1579
» A Distributed Scheduling Framework
Sort
View
ICRA
2005
IEEE
125views Robotics» more  ICRA 2005»
16 years 27 days ago
On the Use of UML for Modeling Physical Systems
— The aim of this paper is to provide a unified language for modeling both control software and physical plants in real time control systems. This is done by embedding the bond ...
Cristian Secchi, Cesare Fantuzzi, Marcello Bonf&ea...
ISPDC
2003
IEEE
16 years 17 days ago
tuBiG - A Layered Infrastructure to Provide Support for Grid Functionalities
The paper presents a Java-based object-oriented system that offers a layered infrastructure to create the adequate framework for complex interactions between Grid components (e.g....
Lenuta Alboaie, Sabin C. Buraga, Sinica Alboaie
212
Voted
CONCUR
2003
Springer
16 years 15 days ago
Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus
We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of ...
Paulo Mateus, John C. Mitchell, Andre Scedrov
200
Voted
ESM
1998
15 years 8 months ago
A Simulation Testbed for Biologically Inspired Robots and Their Controllers
This paper introduces a dynamics simulator designed to aid the development of control algorithms for biologically inspired robots. We describe the simulator and a two-tier framewo...
Jesse A. Reichler, Fred Delcomyn
192
Voted
PUC
2000
122views more  PUC 2000»
15 years 7 months ago
Disseminating Trust Information in Wearable Communities
: This paper describes a framework for managing and distributing trust information in a community of mobile and wearable computer users. Trust information in the form of reputation...
Jay Schneider, Gerd Kortuem, Joe Jager, Stephen Fi...