500 search results - page 60 / 100 » Quantified Conditionals and Compositionality |
ICSOC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Current composite web service development and management solutions, e.g. BPEL, do not cater for flexible and adaptive business collaborations due to their pre-defined a...
MPC
2004
Springer
14 years 1 months ago
2004
Springer
Unfolds generate data structures, and folds consume them. A hylomorphism is a fold after an unfold, generating then consuming a virtual data structure. A metamorphism is the opposi...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
In order to understand organizational memory, it is important to understand how things become adopted as memory resources in organizations. In this paper, we describe the genesis ...
DATE
2010
IEEE
14 years 27 days ago
2010
IEEE
—Parallel file systems are very sensitive to adverse conditions, and the lack of synergy between such file systems and some of the applications running on them has a negative i...
ICRA
1999
IEEE
14 years 3 days ago
1999
IEEE
We describe a hybrid planar image-based servo algorithm which, for a simplified planar convex rigid body, converges to a static goal for all initial conditions within the workspac...