2989 search results - page 190 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
ICDE
2011
IEEE
14 years 1 months ago
2011
IEEE
— Real-world databases often have extremely complex schemas. With thousands of entity types and relationships, each with a hundred or so attributes, it is extremely difficult fo...
FOSSACS
2009
Springer
15 years 5 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
60
Voted
FMCO
2007
Springer
15 years 4 months ago
2007
Springer
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
NIPS
2004
14 years 11 months ago
2004
We present a generative model and stochastic filtering algorithm for simultaneous tracking of 3D position and orientation, non-rigid motion, object texture, and background texture...
81
Voted
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
The paper focuses on investigating the combined use of semantic and structural information of programs to support the comprehension tasks involved in the maintenance and reenginee...