3104 search results - page 319 / 621 » Using quantitative analysis to implement autonomic IT system... |
155
click to vote
VIROLOGY
2010
15 years 3 months ago
2010
By looking on how computer security issues are handled today, dealing with numerous and unknown events is not easy. Events need to be normalized, abnormal behaviors must be describ...
168
click to vote
CVPR
2003
IEEE
16 years 7 months ago
2003
IEEE
In addition to its technical merits as a challenging non-rigid motion and structural integrity analysis problem, quantitative estimation of cardiac regional functions and material...
132
click to vote
CSCW
2010
ACM
16 years 2 months ago
2010
ACM
There is general consensus that critical mass at inception ensures the sustained success of online communities. However, no clear understanding of what constitutes such a 'cr...
154
click to vote
QEST
2009
IEEE
15 years 12 months ago
2009
IEEE
—The departure process of a BMAP/MAP/1 queue can be approximated in different ways: as a Markovian arrival process (MAP) or as a matrix-exponential process (MEP). Both approximat...
155
Voted
ILC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...