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 1 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
15 years 8 months 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é...
138
Voted
OOPSLA
2010
Springer
14 years 12 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...
86
Voted
ADAEUROPE
2008
Springer
15 years 8 months 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 7 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...