Sciweavers

1348 search results - page 180 / 270
» A Temporal Programming Language for Heterogeneous Informatio...
Sort
View
ER
2004
Springer
179views Database» more  ER 2004»
14 years 2 months ago
XSLTGen: A System for Automatically Generating XML Transformations via Semantic Mappings
Abstract. XML is rapidly emerging as a dominant standard for representing and exchanging information. The ability to transform and present data in XML is crucial and XSLT is a rela...
Stella Waworuntu, James Bailey
ATAL
2007
Springer
14 years 24 days ago
Workflow coordination for service-oriented multiagent systems
From a multiagent viewpoint, a workflow is a dynamic set of tasks performed by a set of agents to reach a shared goal. We show herein that commitments among agents can be used to ...
Jiangbo Dang, Jingshan Huang, Michael N. Huhns
ESORICS
2002
Springer
14 years 8 months ago
TINMAN: A Resource Bound Security Checking System for Mobile Code
Resource security pertains to the prevention of unauthorized usage of system resources that may not directly cause corruption or leakage of information. A common breach of resource...
Aloysius K. Mok, Weijiang Yu
POPL
2009
ACM
14 years 9 months ago
Masked types for sound object initialization
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...
Xin Qi, Andrew C. Myers
IWMM
2007
Springer
85views Hardware» more  IWMM 2007»
14 years 2 months ago
Uniqueness inference for compile-time object deallocation
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...
Sigmund Cherem, Radu Rugina