Sciweavers

6682 search results - page 1269 / 1337
» networks 2006
Sort
View
DSONLINE
2006
108views more  DSONLINE 2006»
13 years 10 months ago
Middleware for Protocol-Based Coordination in Mobile Applications
We propose extending these middleware approaches with suitable abstractions to better support protocolbased interaction in mobile applications. To test our approach, we created Obj...
Kurt Schelfthout, Danny Weyns, Tom Holvoet
FGCS
2006
59views more  FGCS 2006»
13 years 10 months ago
The global lambda visualization facility: An international ultra-high-definition wide-area visualization collaboratory
The research outlined in this paper marks an initial global cooperative effort between visualization and collaboration researchers to build a persistent virtual visualization faci...
Jason Leigh, Luc Renambot, Andrew E. Johnson, Byun...
IANDC
2006
121views more  IANDC 2006»
13 years 10 months ago
Comparing operational models of name-passing process calculi
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
Marcelo P. Fiore, Sam Staton
IEEESP
2006
130views more  IEEESP 2006»
13 years 10 months ago
Securing Embedded Systems
t a single security abstraction layer, but rather is a roblem spanning multiple abstraction levels. We use an embedded biometric authentication device to demonstratethenecessityofa...
David Hwang, Patrick Schaumont, Kris Tiri, Ingrid ...
IJFCS
2006
106views more  IJFCS 2006»
13 years 10 months ago
A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata
ion for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, Graduate School of Information Science...
Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teru...
« Prev « First page 1269 / 1337 Last » Next »