Sciweavers

23406 search results - page 4272 / 4682
» Architecture, Design, Implementation
Sort
View
SIGOPS
2008
152views more  SIGOPS 2008»
15 years 6 months ago
The Caernarvon secure embedded operating system
The Caernarvon operating system was developed to demonstrate that a high assurance system for smart cards was technically feasible and commercially viable. The entire system has b...
David C. Toll, Paul A. Karger, Elaine R. Palmer, S...
SIGPLAN
2008
15 years 6 months ago
Injecting programming language concepts throughout the curriculum: an inclusive strategy
As research in programming language design, implementation, and application advances, we must regularly revisit the undergraduate curriculum to ensure course content advances simi...
Mark W. Bailey
AEI
2005
102views more  AEI 2005»
15 years 6 months ago
Manufacturing planning and predictive process model integration using software agents
Intelligent agents provide a means to integrate various manufacturing software applications. The agents are typically executed in a computer-based collaborative environment, refer...
Shaw C. Feng, Keith A. Stouffer, Kevin K. Jurrens
IJMMS
2007
142views more  IJMMS 2007»
15 years 6 months ago
Using OWL to model biological knowledge
Much has been written of the facilities for ontology building and reasoning offered for ontologies expressed in the Web Ontology Language (OWL). Less has been written about how th...
Robert Stevens, Mikel Egaña Aranguren, Katy...
IJNSEC
2007
111views more  IJNSEC 2007»
15 years 6 months ago
A Novel Peer-to-peer Payment Protocol
In this paper a novel electronic payment protocol suitable for “peer-to-peer” (P2P) networks is presented. It implements electronic cash-based transactions, between buyers and...
Despoina Palaka, Petros Daras, Kosmas Petridis, Mi...
« Prev « First page 4272 / 4682 Last » Next »