14331 search results - page 406 / 2867 » On the modeling and analysis of obligations |
198
Voted
ACIVS
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Functional magnetic resonance (fMRI) data are often corrupted with colored noise. To account for this type of noise, many prewhitening and pre-coloring strategies have be...
184
click to vote
SEM
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. A challenging software engineering problem is the design and implementation of component-based (CB) applications that can meet specified performance requirements. Our PPC...
193
Voted
HYBRID
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
171
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— An analytical model is developed for cellular networks with a combined adaptive bandwidth allocation and trafficrestriction mechanism. Instead of focusing only on the ...
223
Voted
RTSS
2002
IEEE
15 years 11 months ago
2002
IEEE
When executing soft real-time tasks in a shared processor, it is important to properly allocate the computational resources such that the quality of service requirements of each t...