8587 search results - page 201 / 1718 » Interactive dynamic abstraction |
125
click to vote
XPU
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Different kinds of unit testing activities are used in practice. Organised unit testing (regression testing or test-first activities) are very popular in commercial pract...
123
Voted
EPIA
1999
Springer
15 years 9 months ago
1999
Springer
We introduce a resource adaptive agent mechanism which supports the user of an interactive theorem proving system. The mechanism, an extension of 5 , uses a two layered architectur...
145
click to vote
ERCIMDL
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. This text motivates and de nes a generic model for interactive online or o ine product catalogs. Based on a detailed requirements analysis, the data model is de ned usi...
124
Voted
SEC
2008
15 years 6 months ago
2008
Abstract IT security incidents pose a major threat to the efficient execution of corporate strategies. Although, information security standards provide a holistic approach to mitig...
138
Voted
DAGSTUHL
1996
15 years 6 months ago
1996
Abstract. This paper describes a compiler generator (cogen) designed for interactive graphics, and presents preliminary results of its application to pixel-level code. The cogen ac...