Sciweavers

1278 search results - page 187 / 256
» Architectures for Controller Based CDP
Sort
View
CSL
1995
Springer
14 years 15 days ago
Deduction by Combining Semantic Tableaux and Integer Programming
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
Bernhard Beckert, Reiner Hähnle
ICDCS
1995
IEEE
14 years 14 days ago
MASSIVE: A Distributed Virtual Reality System Incorporating Spatial Trading
MASSIVE is a distributed virtual reality system. It provides rich facilities to support user interaction and cooperation via text, audio and graphics media, and interaction is con...
Chris Greenhalgh, Steve Benford
ARC
2008
Springer
89views Hardware» more  ARC 2008»
13 years 11 months ago
A Networked, Lightweight and Partially Reconfigurable Platform
Abstract. In this paper we present a networked lightweight and partially reconfigurable platform assisted by a remote bitstreams server. We propose a software and hardware architec...
Pierre Bomel, Guy Gogniat, Jean-Philippe Diguet
ICWS
2007
IEEE
13 years 10 months ago
Specifying Semantic Web Service Compositions using UML and OCL
The semantic web promises to bring automation to the areas of web service discovery, composition and invocation. In order to realize these benefits, rich semantic descriptions of...
John T. E. Timm, Gerald C. Gannod
IADIS
2004
13 years 10 months ago
Software for self-government
Government bureaucracies are both extremely complex and long-lived, constantly evolving to reflect and influence their ever changing cultural and physical environments. Software s...
Thomas B. Senior, Brian Warboys