Sciweavers

7099 search results - page 105 / 1420
» Context for models of concurrency
Sort
View
CASES
2008
ACM
14 years 2 days ago
Multi-granularity sampling for simulating concurrent heterogeneous applications
Detailed or cycle-accurate/bit-accurate (CABA) simulation is a critical phase in the design flow of embedded systems. However, with increasing system complexity, full detailed sim...
Melhem Tawk, Khaled Z. Ibrahim, Smaïl Niar
CORR
2011
Springer
176views Education» more  CORR 2011»
13 years 5 months ago
Quantitative Synthesis for Concurrent Programs
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
Pavol Cerný, Krishnendu Chatterjee, Thomas ...
MLMI
2004
Springer
14 years 3 months ago
Meeting Modelling in the Context of Multimodal Research
Abstract. This paper presents a framework for corpus based multimodal research. Part of this framework is applied in the context of meeting modelling. A generic model for differen...
Dennis Reidsma, Rutger Rienks, Natasa Jovanovic
CONCURRENCY
2008
98views more  CONCURRENCY 2008»
13 years 9 months ago
An ontology-based approach to handling information quality in e-Science
context. In contrast to previous approaches that take a very abstract view of IQ properties, we allow scientists to define the quality characteristics that are of importance to the...
Alun D. Preece, Paolo Missier, Suzanne M. Embury, ...
PERCOM
2005
ACM
14 years 9 months ago
Hybrid Context Model Based on Multilevel Situation Theory and Ontology for Contact Centers
Context awareness and context modeling have raised their call for attention and importance quite recently in the world of contact centers for better customer services and relation...
Anupama Kalyan, Srividya Gopalan, V. Sridhar