Sciweavers

413 search results - page 70 / 83
» On Product Logic with Truth-constants
Sort
View
CN
1998
100views more  CN 1998»
14 years 11 months ago
Metabroker: A Generic Broker for Electronic Commerce
In traditional commerce, brokers act as middlemen between customers and providers, aggregating, repackaging and adding value to products, services or information. In the broadest ...
Steve J. Caughey, David B. Ingham, Paul Watson
ICFEM
2010
Springer
14 years 10 months ago
Dynamic Resource Reallocation between Deployment Components
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Si...
LOGCOM
2010
128views more  LOGCOM 2010»
14 years 10 months ago
Answer Set Programming with Resources
In this paper, we propose an extension of Answer Set Programming (ASP) to support declarative reasoning on consumption and production of resources. We call the proposed extension ...
Stefania Costantini, Andrea Formisano
CNL
2009
14 years 9 months ago
Development of a Controlled Natural Language Interface for Semantic MediaWiki
Semantic wikis support the collaborative creation, editing and utilization of semantically-enriched content, and they may therefore be wellsuited to addressing problems associated ...
Paul R. Smart, Jie Bao, Dave Braines, Nigel R. Sha...
FPGA
2011
ACM
330views FPGA» more  FPGA 2011»
14 years 3 months ago
CoRAM: an in-fabric memory architecture for FPGA-based computing
FPGAs have been used in many applications to achieve orders-of-magnitude improvement in absolute performance and energy efficiency relative to conventional microprocessors. Despit...
Eric S. Chung, James C. Hoe, Ken Mai