Sciweavers

3706 search results - page 633 / 742
» System Description: E-KRHyper
Sort
View
CORR
2010
Springer
140views Education» more  CORR 2010»
13 years 9 months ago
An HTTP-Based Versioning Mechanism for Linked Data
Dereferencing a URI returns a representation of the current state of the resource identified by that URI. But, on the Web representations of prior states of a resource are also av...
Herbert Van de Sompel, Robert Sanderson, Michael L...
COMCOM
2008
80views more  COMCOM 2008»
13 years 9 months ago
Transforming general networks into feed-forward by using turn-prohibition
The issue of breaking cycles in communication networks is an important topic for several reasons. For instance, it is required when transparent bridges are filling the forwarding ...
Juan Echagüe, Jesús E. Villadangos, Vi...
CORR
2008
Springer
90views Education» more  CORR 2008»
13 years 9 months ago
Silicon on Nothing Mems Electromechanical Resonator
The very significant growth of the wireless communication industry has spawned tremendous interest in the development of high performances radio frequencies (RF) components. Micro...
Cedric Durand, Fabrice Casset, Pacal Ancey, Fabien...
ENTCS
2008
120views more  ENTCS 2008»
13 years 9 months ago
Specifying and Executing Reactive Scenarios With Lutin
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...
Pascal Raymond, Yvan Roux, Erwan Jahier
ASE
2006
148views more  ASE 2006»
13 years 9 months ago
PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool
Industry currently employs a product line approach to software development and deployment as a means to enhance quality while reducing development cost and time. This effort has cr...
Josh Dehlinger, Robyn R. Lutz