Sciweavers

166 search results - page 13 / 34
» Contracts Made Manifest
Sort
View
CONCURRENCY
1998
87views more  CONCURRENCY 1998»
13 years 7 months ago
Titanium: A High-performance Java Dialect
Titanium is a language and system for high-performance parallel scientific computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allow...
Katherine A. Yelick, Luigi Semenzato, Geoff Pike, ...
ICRA
2008
IEEE
166views Robotics» more  ICRA 2008»
14 years 2 months ago
Anatomy-based organization of modular robots
Abstract— This paper presents a novel biologicallyinspired hierarchical approach to organizing and controlling modular robots. The purpose of our approach is to decompose the com...
David Johan Christensen, Jason Campbell
POLICY
2007
Springer
14 years 1 months ago
Data-Purpose Algebra: Modeling Data Usage Policies
Data is often encumbered by restrictions on the ways in which it may be used. These restrictions on usage may be determined by statute, by contract, by custom, or by common decenc...
Chris Hanson, Tim Berners-Lee, Lalana Kagal, Geral...
WISE
2005
Springer
14 years 1 months ago
Towards the Automation of E-Negotiation Processes Based on Web Services - A Modeling Approach
Abstract. E-Negotiation is the process of conducting negotiations between business partners using electronic means. The interest in e-negotiation is motivated by its potential to p...
Stefanie Rinderle, Morad Benyoucef
ESWS
2005
Springer
14 years 1 months ago
Towards an Ontology-Based Distributed Architecture for Paid Content
Business models on the basis of digital content require sophisticated descriptions of that content, as well as service-oriented carrier architectures that allow to negotiate and en...
Wernher Behrendt, Aldo Gangemi, Wolfgang Maass 000...