Sciweavers

388 search results - page 33 / 78
» Communication chains and multitasking
Sort
View
FOSSACS
2003
Springer
14 years 1 months ago
Model Checking Lossy Channels Systems Is Probably Decidable
Lossy channel systems (LCS’s) are systems of finite state automata that communicate via unreliable unbounded fifo channels. We propose a new probabilistic model for these syste...
Nathalie Bertrand, Ph. Schnoebelen
GI
2009
Springer
14 years 20 days ago
Scent Marketing: Subliminal Advertising Messages
Abstract: Store chains and service providers beguile customers with a pleasant shopping atmosphere often realized by installing scent diffusers to evaporate overwhelming fragrances...
Bernadette Emsenhuber
ITSSA
2006
76views more  ITSSA 2006»
13 years 8 months ago
Reliability Self-Assessment in Reactive Autonomic Systems: Autonomic System-Time Reactive Model Approach
Abstract: This paper targets the reactive autonomic system's self-monitoring of one of the most important nonfunctional properties, reliability. There are currently no adequat...
Olga Ormandjieva, Heng Kuang, Emil Vassev
PDP
2010
IEEE
14 years 2 months ago
The Design and Implementation of the SWIM Integrated Plasma Simulator
Abstract—As computing capabilities have increased, the coupling of computational models has become an increasingly viable and therefore important way of improving the physical ...
Wael R. Elwasif, David E. Bernholdt, Aniruddha G. ...
ICDCS
2007
IEEE
13 years 12 months ago
Understanding Instant Messaging Traffic Characteristics
Instant messaging (IM) has become increasingly popular due to its quick response time, its ease of use, and possibility of multitasking. It is estimated that there are several mil...
Zhen Xiao, Lei Guo, John M. Tracey