3104 search results - page 502 / 621 » Using quantitative analysis to implement autonomic IT system... |
153
click to vote
APN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Coloured Petri nets (CP-nets or CPNs) is a widely used formalism for describing concurrent systems. CPN Tools provides a mature environment for constructing, simulating, ...
158
click to vote
CIVR
2008
Springer
15 years 6 months ago
2008
Springer
The amount of available digital multimedia has seen exponential growth in recent years. While advances have been made in the indexing and searching of images and videos, less focu...
145
click to vote
LCN
2008
IEEE
15 years 11 months ago
2008
IEEE
— IP traffic measurements form the basis of several network management tasks, such as accounting, planning, intrusion detection, and charging. High-speed network links challenge ...
160
click to vote
RAM
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—Nonverbal behavior during human-human close encounters is critical to the accomplishment of natural interaction. For this reason, humanoid robots trying to achieve natur...
138
click to vote
PROMS
2001
Springer
15 years 9 months ago
2001
Springer
—This paper presents a model-based approach to service creation. We observe that the complexity of software services increases. To manage this complexity, and to quickly create s...