Sciweavers

11909 search results - page 424 / 2382
» The Scheme Programming Language
Sort
View
WETICE
1998
IEEE
15 years 12 months ago
Interactive Mobile Agents in X-Klaim
Mobile agents are processes which can migrate and execute on new hosts. Mobility is a key concept for network programming; it has stimulated much research about new programming la...
Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese...
ECBS
2007
IEEE
86views Hardware» more  ECBS 2007»
16 years 1 months ago
A Partitioning Analysis of the .NET Common Language Runtime
Microsoft's .NET platform was developed to simplify development of Windows applications. At the core of the .Net platform is a virtual machine known as the Common Language Ru...
Joshua R. Dick, Kenneth B. Kent, Joseph C. Libby
DLS
2005
101views Languages» more  DLS 2005»
15 years 9 months ago
Flexible object encapsulation for ambient-oriented programming
In the emerging field of Ambient Intelligence (AmI), software is deployed in wireless open networks of mobile devices. Such open networks require stringent security measures as u...
Wolfgang De Meuter, Éric Tanter, Stijn Most...
ICPADS
2000
IEEE
15 years 12 months ago
Object-Oriented Real-Time Distributed Programming and Support Middleware
Abstract: The object-oriented (OO) distributed realtime (RT) programming movement started in 1990's and is growing rapidly at this turn of the century. The motivations are rev...
K. H. Kim
ICFP
2009
ACM
16 years 8 months ago
Complete and decidable type inference for GADTs
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...
Tom Schrijvers, Simon L. Peyton Jones, Martin Sulz...