547 search results - page 44 / 110 » Supporting Requirements Analysis in Tropos: A Planning-Based... |
INFOCOM
1999
IEEE
14 years 7 days ago
1999
IEEE
This paper studies mobile-generated traffic distributions in mobile ATM networks and evaluates the performance of path rerouting algorithms for handoff control. In mobile ATM netwo...
SPIN
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
CHES
2007
Springer
13 years 12 months ago
2007
Springer
Graphics Processing Units (GPUs) present large potential performance gains within stream processing applications over the standard CPU. These performance gains are best realised wh...
ISMB
1994
13 years 9 months ago
1994
Adaptive resonance theory (ART)describes a class of artificial neural networkarchitectures that act as classification tools whichself-organize, workin realtime, and require no ret...
CSMR
2004
IEEE
13 years 11 months ago
2004
IEEE
Understanding the run-time behavior of object-oriented legacy systems is a complex task due to factors such as late binding and polymorphism. Current approaches extract and use in...