Sciweavers

3745 search results - page 514 / 749
» Sonic: System Description
Sort
View
KBSE
2002
IEEE
15 years 11 months ago
Adapting Applications on the Fly
Traditionally, an application has to be stopped to be adapted. This approach is not suitable for critical systems that have to be non-stop and highly available like bank, internet...
Abdelmadjid Ketfi, Noureddine Belkhatir, Pierre-Yv...
ECOOP
2010
Springer
15 years 11 months ago
Recency Types for Analyzing Scripting Languages
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
Phillip Heidegger, Peter Thiemann
PRIMA
2001
Springer
15 years 11 months ago
The Role of Castes in Formal Specification of MAS
One of the most appealing features of multiagent technology is its natural way to modularise a complex system in terms of multiple, interacting and autonomous components. As a natu...
Hong Zhu
MOBICOM
1999
ACM
15 years 11 months ago
Using Code Mobility to Create Ubiquitous and Active Augmented Reality in Mobile Computing
The concept augmented reality is used to describe a system that supplements reality by adding virtual objects into a real-world view. This paper describes a flexible mobile code a...
Kari Kangas, Juha Röning
SIGSOFT
1998
ACM
15 years 10 months ago
Reasoning about Implicit Invocation
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
David Garlan, Somesh Jha, David Notkin