2357 search results - page 184 / 472 » Computing Refactorings of Behavior Models |
142
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
Among the foremost goals of topology control in wireless ad-hoc networks is interference reduction. This paper presents a receiver-centric interference model featuring two main ad...
153
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
146
click to vote
DCOSS
2011
Springer
14 years 4 months ago
2011
Springer
—Wireless sensor networks are increasingly being used to improve business processes. The behavior of such a process is usually captured in models while its implementation is typi...
214
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
Extremely crowded scenes present unique challenges to
video analysis that cannot be addressed with conventional
approaches. We present a novel statistical framework for
modeling...
140
click to vote
ICCV
2007
IEEE
16 years 6 months ago
2007
IEEE
Path modeling for video surveillance is an active area of research. We address the issue of Euclidean path modeling in a single camera for activity monitoring in a multicamera vid...