1107 search results - page 72 / 222 » Variability Management on Behavioral Models |
AAMAS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. So far, the main focus of research on adaptability in multiagent systems (MASs) has been on the agents’ behavior, for example on developing new learning techniques and ...
INFOCOM
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract—Many systems employ caches to improve performance. While isolated caches have been studied in-depth, multicache systems are not well understood, especially in networks w...
132
click to vote
TACAS
1998
Springer
15 years 5 months ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
130
click to vote
RTSS
2003
IEEE
15 years 6 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
113
click to vote
SIGMETRICS
2000
ACM
15 years 1 months ago
2000
ACM
Quality of service of e-commerce sites has been usually managed by the allocation of resources such as processors, disks, and network bandwidth, and by tracking conventional perfo...