Sciweavers

523 search results - page 57 / 105
» A Formal Account of WS-BPEL
Sort
View
CA
2002
IEEE
15 years 2 months ago
A Hybrid Dynamical Systems Approach to Intelligent Low-Level Navigation
Animated characters may exhibit several kinds of dynamic intelligence when performing low-level navigation (i.e., navigation on a local perceptual scale): They decide among differ...
Eric Aaron, Harold C. Sun, Franjo Ivancic, Dimitri...
DANCE
2002
IEEE
15 years 2 months ago
Developing Dynamic Security Policies
In this paper we define and provide a general construction for a class of policies we call dynamic policies. In most existing systems, policies are implemented and enforced by ch...
Prasad Naldurg, Roy H. Campbell, M. Dennis Mickuna...
KR
2010
Springer
15 years 2 months ago
Multi-Agent Only-Knowing Revisited
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
Vaishak Belle, Gerhard Lakemeyer
GIS
2009
ACM
15 years 2 months ago
A multidimensional model representing continuous fields in spatial data warehouses
Data warehouses and On-Line Analytical Processing (OLAP) provide an analysis framework supporting the decision making process. In many application domains, complex analysis tasks ...
Alejandro A. Vaisman, Esteban Zimányi
HPCC
2009
Springer
15 years 2 months ago
Grid Network Dimensioning by Modeling the Deadline Constrained Bulk Data Transfers
—Grid applications need to move large amounts of data between distributed resources within deterministic time frames. In most cases it is possible to specify the volume and the d...
Kashif Munir, Pascale Vicat-Blanc Primet, Michael ...