Sciweavers

2173 search results - page 205 / 435
» An operational semantics for skeletons
Sort
View
ATAL
2007
Springer
14 years 4 months ago
Integrating authority, deontics, and communications within a joint intention framework
Many agents are fielded within environments requiring modeling traditional organizational structures such as military hierarchies and corporations, with their associated authority...
Marcus J. Huber, Sanjeev Kumar, David McGee, Sean ...
DATE
2003
IEEE
128views Hardware» more  DATE 2003»
14 years 4 months ago
Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
Wei Qin, Sharad Malik
LREC
2010
208views Education» more  LREC 2010»
14 years 3 days ago
A Case Study on Interoperability for Language Resources and Applications
This paper reports our experience when integrating differ resources and services into a grid environment. The use case we address implies the deployment of several NLP application...
Marta Villegas, Núria Bel, Santiago Bel, V&...
ENTCS
2010
133views more  ENTCS 2010»
13 years 10 months ago
Towards Measurable Types for Dynamical Process Modeling Languages
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
Eric Mjolsness
SCP
2010
172views more  SCP 2010»
13 years 9 months ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier