Sciweavers

859 search results - page 96 / 172
» Implementing CMMI using a Combination of Agile Methods
Sort
View
MM
2004
ACM
133views Multimedia» more  MM 2004»
15 years 9 months ago
From context to content: leveraging context to infer media metadata
The recent popularity of mobile camera phones allows for new opportunities to gather important metadata at the point of capture. This paper describes a method for generating metad...
Marc Davis, Simon King, Nathan Good, Risto Sarvas
CPE
1998
Springer
80views Hardware» more  CPE 1998»
15 years 8 months ago
Probability, Parallelism and the State Space Exploration Problem
We present a new dynamic probabilistic state exploration algorithm based on hash compaction. Our method has a low state omission probability and low memory usage that is independen...
William J. Knottenbelt, Mark Mestern, Peter G. Har...
EDBT
1992
ACM
79views Database» more  EDBT 1992»
15 years 8 months ago
Theoretical Aspects of Schema Merging
A general technique for merging database schemas is developed that has a number of advantages over existing techniques, the most important of which is that schemas are placed in a...
Peter Buneman, Susan B. Davidson, Anthony Kosky
FSTTCS
2000
Springer
15 years 8 months ago
Inheritance in the Join Calculus
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
Cédric Fournet, Cosimo Laneve, Luc Maranget...
CAV
2008
Springer
130views Hardware» more  CAV 2008»
15 years 6 months ago
A Hybrid Type System for Lock-Freedom of Mobile Processes
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
Naoki Kobayashi, Davide Sangiorgi