Sciweavers

596 search results - page 52 / 120
» Concurrency Control in Distributed Geographical Database Sys...
Sort
View
SIAMCOMP
2010
83views more  SIAMCOMP 2010»
13 years 7 months ago
Reaching and Distinguishing States of Distributed Systems
Some systems interact with their environment at physically distributed interfaces, called ports, and in testing such a system it is normal to place a tester at each port. Each test...
Robert M. Hierons
FORTE
1997
13 years 10 months ago
Refusal Testing for Classes of Transition Systems with Inputs and Outputs
This paper presents a testing theory that is parameterised with assumptions about the way implementations communicate with their environment. In this way some existing testing the...
Lex Heerink, Jan Tretmans
DBSEC
1996
125views Database» more  DBSEC 1996»
13 years 10 months ago
A Framework for High Assurance Security of Distributed Objects
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
John Hale, Jody Threet, Sujeet Shenoi
WISE
2010
Springer
13 years 6 months ago
The Ubiquitous DBMS
Advancement in mobile computing technologies has prompted strong needs for database systems that can be used in small devices such as sensors, cellular phones, PDAs, car navigator...
Kyu-Young Whang
ECSCW
2007
13 years 10 months ago
Semi-Synchronous Conflict Detection and Resolution in Asynchronous Software Development
Previous work has found that (a) when software is developed collaboratively, concurrent accesses to related pieces of code are made, and (b) when these accesses are coordinated asy...
Prasun Dewan, Rajesh Hegde