3104 search results - page 493 / 621 » Using quantitative analysis to implement autonomic IT system... |
137
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
Analysis of execution traces plays a fundamental role in many program analysis approaches. Execution traces are frequently parametric, i.e., they contain events with parameter bind...
149
click to vote
ICIP
2004
IEEE
16 years 6 months ago
2004
IEEE
In this proposal a novel implementation to find and recognize person actions in image sequences of meeting scenarios is introduced. Such extracted information can be used as the b...
152
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
103
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
National enterprise architectures (NEA) promise to fill the gap between policy and implementation. NEAs are embedded within an institutional environment consisting of active playe...
132
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
Information and Communication Technologies (ICTs) are rapidly changing and new technologies, processes, and skills are constantly emerging. An important challenge for the research...