Sciweavers

2350 search results - page 66 / 470
» A Reflective Approach to Providing Flexibility in Applicatio...
Sort
View
CADE
2002
Springer
16 years 1 months ago
A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...
Robert R. Schneck, George C. Necula
SKG
2006
IEEE
15 years 7 months ago
Using Ontologies to Support Customisation and Maintain Interoperability in Distributed Information Systems with Application to t
Abstract. Global distributed systems must be standards-based to allow interoperability between all of their components. While this guarantees interoperability, it often causes loca...
Nickolas J. G. Falkner, Paul D. Coddington, Andrew...
CLUSTER
2008
IEEE
15 years 1 months ago
Performance prediction with skeletons
The performance skeleton of an application is a short running program whose performance in any scenario reflects the performance of the application it represents. Specifically, th...
Sukhdeep Sodhi, Jaspal Subhlok, Qiang Xu
CIKM
2011
Springer
14 years 1 months ago
Semantic data markets: a flexible environment for knowledge management
We present Nyaya, a system for the management of Semantic-Web data which couples a general-purpose and extensible storage mechanism with efficient ontology reasoning and querying ...
Roberto De Virgilio, Giorgio Orsi, Letizia Tanca, ...
REFLECTION
2001
Springer
15 years 6 months ago
Separation of Concerns in Mobile Agent Applications
Abstract. Using mobile agent systems, cooperative distributed applications that run over the Internet can be constructed flexibly. However, there are some problems: it is difficul...
Naoyasu Ubayashi, Tetsuo Tamai