3435 search results - page 645 / 687 » Aspect Model Unweaving |
125
click to vote
PODS
2010
ACM
15 years 5 months ago
2010
ACM
Databases in real life are often neither entirely closed-world nor entirely open-world. Indeed, databases in an enterprise are typically partially closed, in which a part of the d...
116
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
183
click to vote
DSRT
2008
IEEE
15 years 5 months ago
2008
IEEE
In this contribution a new system for the rapid development of real-time prototypes for digital audio signal processing algorithms on Windows PCs and a Digital Signal Processor (D...
140
click to vote
DAGSTUHL
2007
15 years 5 months ago
2007
rocesses involve modeling – simplifying or abstracting some aspects of the problem domain in order to plan and evaluate design decisions. The use of representations to reason abo...
144
click to vote
IICAI
2007
15 years 5 months ago
2007
Logics of action, for reasoning about the effects of state change, and logics of belief, accounting for belief revision and update, have much in common. Furthermore, we may underta...