3104 search results - page 490 / 621 » Using quantitative analysis to implement autonomic IT system... |
140
click to vote
ICIP
2001
IEEE
16 years 6 months ago
2001
IEEE
Videotext refers to text superimposed on video frames. A videotext based Multimedia Description Scheme has recently been adopted into the MPEG-7 standard. A study of published wor...
146
click to vote
IRI
2008
IEEE
15 years 11 months ago
2008
IEEE
Freight transportation at distribution nodes such as marine ports, airports and rail yards has been putting tremendous environmental pressure in metropolitan areas. A prerequisite...
145
click to vote
ADHOCNOW
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The resource limited nature of WSNs require that protocols implemented on these networks be energy-efficient, scalable and distributed. This paper presents an analysis of...
130
click to vote
INEX
2004
Springer
15 years 10 months ago
2004
Springer
We describe the INEX 2004 participation of the Informatics Institute of the University of Amsterdam. We completely revamped our XML retrieval system, now implemented as a mixture l...
217
click to vote
RTA
2011
Springer
14 years 7 months ago
2011
Springer
In [5, 15] we presented an approach to prove termination of non-recursive Java Bytecode (JBC) programs automatically. Here, JBC programs are first transformed to finite terminat...