3104 search results - page 400 / 621 » Using quantitative analysis to implement autonomic IT system... |
139
click to vote
JITECH
2007
15 years 5 months ago
2007
This case describes the implementation and subsequent failure of an innovative system installed in the bars of Alvalade XXI, the recently built football stadium in Lisbon, Portuga...
132
click to vote
EMSOFT
2007
Springer
15 years 11 months ago
2007
Springer
Software components are modular and can enable post-deployment update, but their high overhead in runtime and memory is prohibitive for many embedded systems. This paper proposes ...
237
click to vote
CVPR
2011
IEEE
14 years 11 months ago
2011
IEEE
The majority of existing pedestrian trackers concentrate on maintaining the identities of targets, however systems for remote biometric analysis or activity recognition in surveill...
153
click to vote
HICSS
2010
IEEE
16 years 1 min ago
2010
IEEE
Personal health records (PHR) is a technology for managing the information playing field in healthcare. With multiple vendors competing on this relatively new market, an evaluatio...
135
click to vote
PASTE
2004
ACM
15 years 10 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...