2558 search results - page 230 / 512 » Model Composition Contracts |
123
Voted
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
A conditional model is introduced for triggering understanding actions that correct errors of frame hypothesization and composition. Experimental evidence is provided using the Fr...
108
click to vote
SIGSOFT
2000
ACM
15 years 9 months ago
2000
ACM
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
146
Voted
AUSAI
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...
146
click to vote
UML
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Design Patterns are now widely accepted as a useful concept for guiding and documenting the design of object-oriented software systems. Still the UML is ill-equipped for ...
141
click to vote
JUCS
2008
15 years 5 months ago
2008
: This article provides a comparison among different methods for estimating the aggregation of Internet traffic resulting from different users, network-access types and correspondi...