3022 search results - page 74 / 605 » Make Way for WayMaker |
ICSE
2007
IEEE-ACM
16 years 21 days ago
2007
IEEE-ACM
The paper presents a novel approach based on Bogor for the accurate verification of applications based on PublishSubscribe infrastructures. Previous efforts adopted standard model...
88
Voted
ICDE
2010
IEEE
16 years 11 days ago
2010
IEEE
Statistical analysis of massive data is becoming indispensable to science, commerce, and society today. Such analysis requires efficient, flexible storage support and special optim...
101
click to vote
ESORICS
2002
Springer
16 years 6 days ago
2002
Springer
Abstract. In this paper, we consider how one can analyse a stream authentication protocol using model checking techniques. In particular, we will be focusing on the Timed Efficient...
PERCOM
2008
ACM
16 years 6 days ago
2008
ACM
Users and developers require some way to identify by human readable names the many resources that comprise a ubiquitous computing environment. In addition, naming in such environm...
94
Voted
ICCAD
2002
IEEE
15 years 9 months ago
2002
IEEE
Existing static timing analyzers make several assumptions about circuits, implicitly trading off accuracy for speed. In this paper we examine the validity of these assumptions, no...