3082 search results - page 486 / 617 » Deviation Analysis: A New Use of Model Checking |
166
click to vote
SIGSOFT
1994
ACM
15 years 10 months ago
1994
ACM
As the design of software architectures emerges as a discipline within software engineering, it will become increasingly important to support architectural description and analysi...
147
click to vote
CN
2002
15 years 6 months ago
2002
We present a model for soft handoff in wireless cellular networks. In such networks, due to overlapping cells, handoffs are not instantaneous and multiple channels may be occupied...
143
click to vote
ACL
2010
15 years 4 months ago
2010
The emergence of social media brings chances, but also challenges, to linguistic analysis. In this paper we investigate a novel problem of discovering patterns based on emotion an...
146
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
This paper considers the queueing performance of a system that transmits coded data over a time-varying erasure channel. In our model, the queue length and channel state together f...
193
click to vote
IBPRIA
2005
Springer
15 years 11 months ago
2005
Springer
It is well-known that image pixel values of an object could vary if the lighting conditions change. Some common factors that produce changes in the pixels values are due to the vie...