Sciweavers

89 search results - page 10 / 18
» Connectivity and synchronization of Vicsek model
Sort
View
ICMCS
2006
IEEE
175views Multimedia» more  ICMCS 2006»
14 years 1 months ago
Bringing the Wiki Collaboration Model to the Tabletop World
We present an interactive workspace that integrates wiki collaboration in knowledge-building activities with face-to-face scenarios like brainstorming or problem solving sessions....
Stefano Baraldi, Alberto Del Bimbo, Alessandro Val...
FMCO
2007
Springer
169views Formal Methods» more  FMCO 2007»
14 years 1 months ago
An Object-Oriented Component Model for Heterogeneous Nets
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
Einar Broch Johnsen, Olaf Owe, Joakim Bjørk...
POPL
2007
ACM
14 years 7 months ago
On the analysis of interacting pushdown systems
Pushdown Systems (PDSs) has become an important paradigm for program analysis. Indeed, recent work has shown a deep connection between inter-procedural dataflow analysis for seque...
Vineet Kahlon, Aarti Gupta
TOOLS
2000
IEEE
13 years 12 months ago
Design and Implementation of CORBA-Based Subscription Server
The standard CORBA operation invocation model supports synchronous, one-way, and deferred synchronous interactions between clients and servers. However, this model is too restrict...
R. Maheshwari, R. Fatoohi
IJCAI
2003
13 years 8 months ago
ODISET: On-line Distributed Session Tracing using Agents
When a security incident occurs it is sometimes necessary to identify its causes for legal and cautionary purposes. In an attempt to hide the origin of her connection, a malicious...
Salvador Mandujano, Arturo Galván