Sciweavers

3 search results - page 1 / 1
» Open Source, Standards and Scaleable Agencies
Sort
View
AGENTS
2000
Springer
13 years 11 months ago
Open Source, Standards and Scaleable Agencies
Numerous agencies and agent systems are being developed or portrayed as vehicles to deliver novel types of e-commerce services to users. However service agents in one agency are p...
Stefan Poslad, Phil Buckle, Rob Hadingham
SEMWEB
2009
Springer
14 years 1 months ago
A Case Study in Integrating Multiple E-commerce Standards via Semantic Web Technology
Abstract. Internet business-to-business transactions present great challenges in merging information from different sources. In this paper we describe a project to integrate four ...
Yang Yu, Donald Hillman, Basuki Setio, Jeff Heflin
SDL
2007
192views Hardware» more  SDL 2007»
13 years 8 months ago
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
Eric Verhulst, Gjalt G. de Jong