18769 search results - page 276 / 3754 » Requirements Models in Context |
213
click to vote
ECRTS
2006
IEEE
16 years 1 months ago
2006
IEEE
As real-time and embedded systems become increasingly large and complex, the traditional strictly static approach to memory management begins to prove untenable. The challenge is ...
169
click to vote
HOTOS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract--End-to-end connectivity is growing increasingly diverse, with orders of magnitude differences in characteristics throughout the network. At the same time, most applicatio...
183
click to vote
LATIN
2010
Springer
16 years 2 months ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
190
click to vote
METRICS
2005
IEEE
16 years 27 days ago
2005
IEEE
As mobile applications become more pervasive, the need for assessing their quality, particularly in terms of efficiency (i.e. performance and resource utilisation), increases. Alt...
189
click to vote
ICPR
2002
IEEE
16 years 8 months ago
2002
IEEE
In this paper, we propose a new context-sensitive Bayesian learning algorithm. By modeling the distributions of data locations by a mixture of Gaussians, the new algorithm can uti...