164 search results - page 3 / 33 » A Hybrid Type System for Lock-Freedom of Mobile Processes |
ICWE
2010
Springer
13 years 6 months ago
2010
Springer
: The growing sophistication of user requirements in tourism due to the advent of new technologies such as the Semantic Web and mobile computing has imposed new possibilities for i...
IFIPTCS
2000
13 years 11 months ago
2000
Abstract. We add name groups and group creation to the typed ambient calculus. Group creation is surprisingly interesting: it has the e ect of statically preventing certain communi...
JIPS
2006
13 years 7 months ago
2006
: In this study we propose an automatic reading system for diagnostic DNA chips. We define a general specification for an automatic reading system and propose a possible implementa...
SAC
2005
ACM
14 years 1 months ago
2005
ACM
Data broadcast is a widely accepted data dissemination method for mobile computing systems. When data broadcast is used to deliver frequently updated data to mobile read-only tran...
WSC
2004
13 years 9 months ago
2004
Hybrid system modeling refers to the construction of system models combining both continuous and discrete dynamics. These models can greatly reduce the complexity of a phystem mod...