6404 search results - page 1082 / 1281 » Blocks |
128
click to vote
IFM
2010
Springer
15 years 27 days ago
2010
Springer
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...
INFOCOM
2010
IEEE
15 years 26 days ago
2010
IEEE
—This paper presents a novel transport protocol, CUSP, specifically designed with complex and dynamic network applications in mind. Peer-to-peer applications benefit in particu...
124
click to vote
ISVC
2010
Springer
15 years 26 days ago
2010
Springer
We consider the problem of developing an automated visual solution for detecting human activities within industrial environments. This has been performed using an overhead view. Th...
155
Voted
TCAD
2008
15 years 26 days ago
2008
In this paper, we propose a high-performance droplet router for a digital microfluidic biochip (DMFB) design. Due to recent advancements in the biomicroelectromechanical system and...
120
Voted
JCSS
2010
15 years 26 days ago
2010
Abstract. Reset/inhibitor nets are Petri nets extended with reset arcs and inhibitor arcs. A reset arc allows a transition to remove all tokens from a certain place when the transi...