Sciweavers

841 search results - page 46 / 169
» A secure architectural description language for agent system...
Sort
View
RCC
2002
104views more  RCC 2002»
15 years 5 months ago
Architectural Specification, Exploration and Simulation Through Rewriting-Logic
In recent years Arvind's Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specifi...
Mauricio Ayala-Rincón, Reiner W. Hartenstei...
GPC
2007
Springer
16 years 10 days ago
Architecture-Based Autonomic Deployment of J2EE Systems in Grids
Abstract. The deployment of J2EE systems in Grid environments remains a difficult task: the architecture of these applications are complex and the target environment is heterogene...
Didier Hoareau, Takoua Abdellatif, Yves Mahé...
OOPSLA
2010
Springer
15 years 4 months ago
Towards a tool-based development methodology for sense/compute/control applications
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
Damien Cassou, Julien Bruneau, Julien Mercadal, Qu...
ADAEUROPE
2008
Springer
16 years 16 days ago
Operational Semantics of Ada Ravenscar
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
Irfan Hamid, Elie Najm
ICMCS
2005
IEEE
135views Multimedia» more  ICMCS 2005»
15 years 11 months ago
Retrieving, Adapting and Delivering Multimedia Content Using a Mobile Agent Architecture
An integrated, reconfigurable, adaptable and open system for mining, indexing and retrieving multimedia information based on a mobile agent technology scheme is presented. The sys...
Nikolaos Papadakis, Anastasios D. Doulamis, Dimitr...