Sciweavers

536 search results - page 17 / 108
» Deconstructing process isolation
Sort
View
SAC
1999
ACM
14 years 28 days ago
Transaction Processing in PRO-MOTION
To provide data consistency in the presence of failures and concurrency, database methods will continue to be important to the processing of shared information in a mobile computi...
Gary D. Walborn, Panos K. Chrysanthis
IPAW
2010
13 years 5 months ago
Provenance of Software Development Processes
Abstract. "Why does the build fail currently?" - This and similar questions arise on a daily basis in software development processes (SDP). There is no easy way to answer...
Heinrich Wendel, Markus Kunde, Andreas Schreiber
IEEEARES
2010
IEEE
14 years 3 months ago
Formalization of Viruses and Malware Through Process Algebras
Abstract—Abstract virology has seen the apparition of successive viral models, all based on Turing-equivalent formalisms. Considering recent malware, these are only partially cov...
Grégoire Jacob, Eric Filiol, Hervé D...
CONCUR
2004
Springer
14 years 2 months ago
An Extensional Spatial Logic for Mobile Processes
Existing spatial logics for concurrency are intensional, in the sense that they induce an equivalence that coincides with structural congruence. In this work, we study a contextual...
Daniel Hirschkoff
ER
2004
Springer
107views Database» more  ER 2004»
14 years 2 months ago
A Scaleless Data Model for Direct and Progressive Spatial Query Processing
A progressive spatial query retrieves spatial data based on previous queries (e.g., to fetch data in a more restricted area with higher resolution). A direct query, on the other si...
Sai Sun, Sham Prasher, Xiaofang Zhou