8587 search results - page 1422 / 1718 » Interactive dynamic abstraction |
132
Voted
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...
128
click to vote
ESA
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We study online scheduling to minimize flow time plus energy usage in the dynamic speed scaling model. We devise new speed scaling functions that depend on the number of ...
127
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The Semantic Web is an effort by the W3C to enable integration and sharing of information across different applications and organizations using annotations by means of on...
140
click to vote
EURONGI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The integration of mobile ad hoc networks into IP-based access networks demands the presence of a gateway which is responsible for propagating some configuration paramete...
162
click to vote
EUROPAR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Distributed moving object database servers are a feasible solution to the scalability problem of centralized database systems. In this paper we propose a distributed inde...