Search Sciweavers | Sciweavers

132 search results - page 27 / 27

» Process Algebra for Agent Communication: A General Semantic ...

click to vote

SDL
2007

192views Hardware» more SDL 2007»

OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling

13 years 6 months ago

Download www.openlicensesociety.org

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

claim paper

Read More »

click to vote

IPPS
2007
IEEE

139views Distributed And Parallel Com...» more IPPS 2007»

A Semi-Distributed Axiomatic Game Theoretical Mechanism for Replicating Data Objects in Large Distributed Computing Systems

13 years 11 months ago

Download www.cecs.uci.edu

Replicating data objects onto servers across a system can alleviate access delays. The selection of data objects and servers requires solving a constraint optimization problem, wh...

Samee Ullah Khan, Ishfaq Ahmad

claim paper

Read More »

« Prev « First page 27 / 27 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers