2357 search results - page 184 / 472 » Computing Refactorings of Behavior Models |
180
click to vote
IPPS
2005
IEEE
16 years 2 days 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...
193
click to vote
SPIN
2004
Springer
15 years 12 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...
179
click to vote
DCOSS
2011
Springer
14 years 6 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...
277
click to vote
CVPR
2009
IEEE
17 years 1 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...
170
click to vote
ICCV
2007
IEEE
16 years 8 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...