753 search results - page 82 / 151 » Fragments-based Model Reduction: Some Case Studies |
JOT
2008
13 years 9 months ago
2008
All readers of this paper most likely have knowledge of the software requirements discipline and of the use case notation, however not everyone is aware that with the progress of ...
IJSEKE
2006
13 years 9 months ago
2006
pecific models increase the level of abstraction used to develop large-scale component-based systems. Model-driven development (MDD) approaches (e.g., ModelIntegrated Computing and...
GLOBECOM
2008
IEEE
14 years 3 months ago
2008
IEEE
—Many data center devices, for instance packet switches, can be modeled within the context of resource constrained queueing systems. In this paper, we define a novel algorithm c...
UAI
1996
13 years 10 months ago
1996
The study of belief change has been an active area in philosophy and AI. In recent years, two special cases of belief change, belief revision and belief update, have been studied ...
IEEEPACT
2008
IEEE
14 years 3 months ago
2008
IEEE
One of the essential features in modern computer systems is context switching, which allows multiple threads of execution to time-share a limited number of processors. While very ...