Sciweavers

1995 search results - page 254 / 399
» Belief in Information Flow
Sort
View
ICWS
2008
IEEE
15 years 2 months ago
Generalized Semantics-Based Service Composition
Service-oriented computing (SOC) has emerged as the eminent market environment for sharing and reusing service-centric capabilities. The underpinning for an organization's us...
Srividya Kona, Ajay Bansal, M. Brian Blake, Gopal ...
WSC
2001
15 years 2 months ago
Distributed simulation: an enabling technology for the evaluation of virtual enterprises
This paper presents an application distributed simulation to the evaluation of virtual enterprises. Each company or candidate can use a simulation of its facilities to determine i...
Jayendran Venkateswaran, Mohammed Yaseen Kalachika...
114
Voted
ATAL
2010
Springer
15 years 1 months ago
A systematic agent framework for situated autonomous systems
We present a formal framework of an autonomous agent as a collection of coordinated control loops, with a recurring sense, plan, act cycle. Our framework manages the information f...
Frederic Py, Kanna Rajan, Conor McGann
127
Voted
COMPSAC
2009
IEEE
15 years 1 months ago
Modular Certification of Low-Level Intermediate Representation Programs
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
Yuan Dong, Shengyuan Wang, Liwei Zhang, Ping Yang
IJSYSC
2006
92views more  IJSYSC 2006»
15 years 23 days ago
Adaptive control of distributed collector solar fields
: Distributed collector solar fields are spatially distributed engineering systems which aim at collecting and storing energy from solar radiation. They are formed by mirrors which...
J. M. Lemos