Sciweavers

1054 search results - page 157 / 211
» Compositional Refinement of Interactive Systems Modelled by ...
Sort
View
140
Voted
SCA
2007
15 years 6 months ago
Hybrid simulation of deformable solids
Although mesh-based methods are efficient for simulating simple hyperelasticity, maintaining and adapting a mesh-based representation is less appealing in more complex scenarios, ...
Eftychios Sifakis, Tamar Shinar, Geoffrey Irving, ...
DEBU
2008
100views more  DEBU 2008»
15 years 4 months ago
WAVE: Automatic Verification of Data-Driven Web Services
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
Alin Deutsch, Victor Vianu
EMSOFT
2004
Springer
15 years 9 months ago
Reactive process networks
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
Marc Geilen, Twan Basten
ATAL
2008
Springer
15 years 6 months ago
Decentralised Structural Adaptation in Agent Organisations
Abstract. Autonomic computing is being advocated as a tool for maintaining and managing large, complex computing systems. Self-organising multi-agent systems provide a suitable par...
Ramachandra Kota, Nicholas Gibbins, Nicholas R. Je...
CSE
2009
IEEE
15 years 10 months ago
A Semantic Imitation Model of Social Tag Choices
—We describe a semantic imitation model of social tagging that integrates formal representations of semantics and a stochastic tag choice process to explain and predict emergent ...
Wai-Tat Fu, Thomas George Kannampallil, Ruogu Kang