Sciweavers

2042 search results - page 79 / 409
» The Design and Implementation of a Semantic Service Mediatio...
Sort
View
POPL
2006
ACM
16 years 7 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...
189
Voted
EUC
2005
Springer
16 years 8 days ago
Ubiquitous Content Formulations for Real-Time Information Communications
Abstract. With rapid advancements in wireless devices, ubiquitous computing seems becoming a reality everyday. Active pervasive network infrastructure has been introduced to offer...
Ka Lun Eddie Law, Sunny So
PARA
2004
Springer
16 years 3 days ago
An OGSA-Based Bank Service for Grid Accounting Systems
This contribution presents the design and implementation of a bank service, constituting a key component in a recently developed Grid accounting system solution. The Grid accountin...
Erik Elmroth, Peter Gardfjäll, Olle Mulmo, Th...
DATE
2006
IEEE
101views Hardware» more  DATE 2006»
16 years 25 days ago
Design with race-free hardware semantics
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
Patrick Schaumont, Sandeep K. Shukla, Ingrid Verba...
WSFM
2007
Springer
16 years 26 days ago
From Public Views to Private Views - Correctness-by-Design for Services
Service orientation is a means for integrating across diverse systems. Each resource, whether an application, system, or trading partner, can be accessed as a service. The resultin...
Wil M. P. van der Aalst, Niels Lohmann, Peter Mass...