Sciweavers

10674 search results - page 1847 / 2135
» The Virtual Environment - Another Approach
Sort
View
CSFW
2007
IEEE
16 years 1 months ago
LTL Model Checking for Security Protocols
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
Alessandro Armando, Roberto Carbone, Luca Compagna
168
Voted
DASFAA
2007
IEEE
143views Database» more  DASFAA 2007»
16 years 1 months ago
Using Redundant Bit Vectors for Near-Duplicate Image Detection
Images are amongst the most widely proliferated form of digital information due to affordable imaging technologies and the Web. In such an environment, the use of digital watermar...
Jun Jie Foo, Ranjan Sinha
DASFAA
2007
IEEE
178views Database» more  DASFAA 2007»
16 years 1 months ago
ClusterSheddy : Load Shedding Using Moving Clusters over Spatio-temporal Data Streams
Abstract. Moving object environments are characterized by large numbers of objects continuously sending location updates. At times, data arrival rates may spike up, causing the loa...
Rimma V. Nehme, Elke A. Rundensteiner
GLOBECOM
2007
IEEE
16 years 1 months ago
Impact of Correlation on Linear Precoding in QSTBC Coded Systems with Linear MSE Detection
— In this paper, we study a wireless multiple-input multiple-output system in a Rayleigh flat-fading environment with correlation among the transmit antennas. We assume that the...
Aydin Sezgin, Arogyaswami Paulraj, Mai Vu
HICSS
2007
IEEE
118views Biometrics» more  HICSS 2007»
16 years 1 months ago
Introducing Executable Product Models for the Service Industry
In these days, companies need highly flexible processes to deal with changing environments and competitors. Using traditional process models that have to be modeled in all detail...
Markus Kress, Joachim Melcher, Detlef Seese
« Prev « First page 1847 / 2135 Last » Next »