Sciweavers

1191 search results - page 154 / 239
» Computing Multidimensional Persistence
Sort
View
AINA
2006
IEEE
13 years 11 months ago
An Adaptive Multipath Protocol for Efficient IP Handoff in Mobile Wireless Networks
Achieving IP handoff with a short latency and minimal packet loss is essential for mobile devices that roam across IP subnets. Many existing solutions require changes to be made t...
Ken C. K. Tsang, Roy S. C. Ho, Mark C. M. Tsang, C...
CONCUR
2006
Springer
13 years 11 months ago
Event Structure Semantics for Nominal Calculi
Event structures have been used for giving true concurrent semantics to languages and models of concurrency such as CCS, Petri nets and graph grammars. Although certain nominal cal...
Roberto Bruni, Hernán C. Melgratti, Ugo Mon...
UIST
1995
ACM
13 years 11 months ago
Migratory Applications
We introduce a new genre of user interface applications that can migrate from one machine to another, taking their user interface and application contexts with them, and continue ...
Krishna Bharat, Luca Cardelli
CSE
2009
IEEE
13 years 11 months ago
Using Qtag to Extract Dominant Public Opinion in Very Large-Scale Conversation
— These days VLSC (Very Large-Scale Conversation) is a particular type of online conversation, that is large scale, public, text-based, many-to-many and persistent. The nature of...
Sung Eob Lee, Taeksoo Chun, Steve SangKi Han
CONCUR
2008
Springer
13 years 9 months ago
Dynamic Partial Order Reduction Using Probe Sets
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
Harmen Kastenberg, Arend Rensink