Sciweavers

3 search results - page 1 / 1
» Open Source, Standards and Scaleable Agencies
Sort
View
AGENTS
2000
Springer
14 years 3 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 5 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»
14 years 18 days 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