7311 search results - page 1278 / 1463 » Time in State Machines |
144
click to vote
CONCUR
2008
Springer
15 years 7 months ago
2008
Springer
ion for Stochastic Systems by Erlang's Method of Stages Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 1 RWTH Aachen University 2 TU Munich 3 EPF La...
145
click to vote
DASFAA
2008
IEEE
15 years 7 months ago
2008
IEEE
Recently, great efforts have been dedicated to researches on the management of large-scale graph-based data, where node disjoint subgraph homeomorphism relation between graphs has ...
198
click to vote
ICCV
2007
IEEE
15 years 7 months ago
2007
IEEE
Even though sensor fusion techniques based on particle filters have been applied to object tracking, their implementations have been limited to combining measurements from multip...
152
click to vote
CHI
2010
ACM
15 years 7 months ago
2010
ACM
Effective group meetings are important for the productivity of corporations. Various types of meeting facilitators have been developed over the past couple of years. We present a ...
156
click to vote
FM
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...