Sciweavers

485 search results - page 40 / 97
» Continuous Spatial Authentication
Sort
View
108
Voted
CONCUR
1991
Springer
15 years 5 months ago
Real Space Process Algebra
We propose a process algebra obtained by adapting the process algebra with continuous relative timing from Baeten and Middelburg [Process Algebra with Timing, Springer, 2002, Chap....
Jos C. M. Baeten, Jan A. Bergstra
137
Voted
TLDI
2010
ACM
190views Formal Methods» more  TLDI 2010»
15 years 11 months ago
Distributed programming with distributed authorization
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
Kumar Avijit, Anupam Datta, Robert Harper
139
Voted
PVLDB
2010
163views more  PVLDB 2010»
15 years 18 days ago
Geospatial Stream Query Processing using Microsoft SQL Server StreamInsight
Microsoft SQL Server spatial libraries contain several components that handle geometrical and geographical data types. With advances in geo-sensing technologies, there has been an...
Seyed Jalal Kazemitabar, Ugur Demiryurek, Mohamed ...
229
Voted
ICDE
2005
IEEE
160views Database» more  ICDE 2005»
16 years 3 months ago
Evaluation of Spatio-Temporal Predicates on Moving Objects
Moving objects databases managing spatial objects with continuously changing position and extent over time have recently found large interest in the database community. Queries ab...
Markus Schneider
103
Voted
CDC
2008
IEEE
160views Control Systems» more  CDC 2008»
15 years 8 months ago
Analysis of sampled-data interconnected systems
Abstract— In this paper, we consider the sampled-data problem of interconnected systems, specifically, time- and spaceinvariant systems. Our main contribution is to provide suf...
Chun Zhang, Geir E. Dullerud