2302 search results - page 262 / 461 » Testing as Abstraction |
162
click to vote
ERCIMDL
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. All search happens in a particular context—such as the particular collection of a digital library, its associated search tasks, and its associated users. Information re...
177
click to vote
ERSHOV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
156
click to vote
AE
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. How has a stack of n blocks to be arranged in order to maximize its overhang over a table edge while being stable? This question can be seen as an example application for...
154
click to vote
KIVS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. With the continuously growing number of distributed and heterogeneous IT systems there is the need for structured and efficient identity management (IdM) processes. This ...
175
click to vote
LADS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, as a result of several factors, such...