Sciweavers

1805 search results - page 176 / 361
» Understanding Code Mobility
Sort
View
109
Voted
OOPSLA
1999
Springer
15 years 7 months ago
Reducing Transfer Delay Using Java Class File Splitting and Prefetching
The proliferation of the Internet is fueling the development of mobile computing environments in which mobile code is executed on remote sites. In such environments, the end user ...
Chandra Krintz, Brad Calder, Urs Hölzle
136
Voted
ATAL
2006
Springer
15 years 6 months ago
ActorNet: an actor platform for wireless sensor networks
We present actorNet, a mobile agent platform for wireless sensor networks (WSNs). WSNs are well-suited to multiagent systems: agent autonomy reduces the need for communication, sa...
YoungMin Kwon, Sameer Sundresh, Kirill Mechitov, G...
168
Voted
ESOP
2005
Springer
15 years 8 months ago
Asserting Bytecode Safety
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
Martin Wildmoser, Tobias Nipkow
119
Voted
ICAS
2009
IEEE
164views Robotics» more  ICAS 2009»
15 years 9 months ago
Study of the Impact of UMTS Best Effort Parameters on QoE of VoIP Services
— This paper evaluates the performance of VoIP services over mobile accesses, with special focus on currently deployed Best Effort UMTS networks. There are different configuratio...
Jose Oscar Fajardo, Fidel Liberal, Nagore Bilbao
108
Voted
SAS
2004
Springer
15 years 8 months ago
Spatial Analysis of BioAmbients
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
Hanne Riis Nielson, Flemming Nielson, Henrik Pileg...