4418 search results - page 323 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
206
click to vote
CONCUR
2012
Springer
13 years 9 months ago
2012
Springer
Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks. This is a problem ...
173
click to vote
RT
2001
Springer
15 years 11 months ago
2001
Springer
We propose a practicable way to include both polarization and fluorescence effects in a rendering system at the same time. Previous research in this direction only demonstrated s...
177
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...
224
click to vote
AMR
2006
Springer
15 years 10 months ago
2006
Springer
Most of the currently existing image retrieval systems make use of either low-level features or semantic (textual) annotations. A combined usage during annotation and retrieval is ...
171
click to vote
AMAI
2007
Springer
15 years 6 months ago
2007
Springer
Abstract In many scenarios, a database instance violates a given set of integrity constraints. In such cases, it is often required to repair the database, that is, to restore its c...