Sciweavers

3265 search results - page 101 / 653
» Distributed Slicing in Dynamic Systems
Sort
View
CONCUR
2005
Springer
14 years 3 months ago
Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
Ahmed Bouajjani, Markus Müller-Olm, Tayssir T...
NCS
2008
105views more  NCS 2008»
13 years 11 months ago
Swarm Granulation
This paper presents an implementation for dynamic two or three dimensional spatial distribution of granulated sound (or granular synthesis) over an arbitrary loudspeaker system.
Tim Blackwell
DEXAW
1998
IEEE
109views Database» more  DEXAW 1998»
14 years 2 months ago
Expressing Dynamics of Mobile Agent Systems Using Ambient Calculus
The mobile agent approach has become popular due to recent developments in the mobile code paradigm and enabling programming technologies. Many existing agentbased systems lack cl...
Peter Stañski, Arkady B. Zaslavsky
AIPRF
2007
13 years 11 months ago
Pitfalls of JESS for Dynamic Systems
We considered different varieties of inference engines for a sub-system of Mission Control Technologies (MCT) being developed at NASA Ames Research center. One inference engine, J...
Rajkumar Thirumalainambi
WWW
2007
ACM
14 years 11 months ago
The complex dynamics of collaborative tagging
The debate within the Web community over the optimal means by which to organize information often pits formalized classifications against distributed collaborative tagging systems...
Harry Halpin, Valentin Robu, Hana Shepherd