Sciweavers

2550 search results - page 97 / 510
» The Meaning of Open Standards
Sort
View
JFP
2010
142views more  JFP 2010»
15 years 4 months ago
Linear type theory for asynchronous session types
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
Simon J. Gay, Vasco Thudichum Vasconcelos
DATE
2009
IEEE
136views Hardware» more  DATE 2009»
16 years 27 days ago
A novel approach to entirely integrate Virtual Test into test development flow
– In this paper, we present an open architecture Virtual Test Environment (VTE) which can be easily integrated into various modularized Automatic Test Systems (ATS) compliant to ...
Ping Lu, Daniel Glaser, Gürkan Uygur, Klaus H...
ASWC
2009
Springer
16 years 22 days ago
Querying the Web of Data: A Formal Approach
Abstract. The increasing amount of interlinked RDF data has finally made available the necessary building blocks for the web of data. This in turns makes it possible (and interest...
Paolo Bouquet, Chiara Ghidini, Luciano Serafini
BIOTECHNO
2008
IEEE
16 years 18 days ago
Exploiting Codon-Triplets Association for Genome Primary Structure Analysis
— The way evolution shapes the arrangement of synonymous codons within open reading frames (ORF) for fine tuning mRNA decoding efficiency is not yet understood. Since the ribosom...
José P. Lousado, Gabriela R. Moura, Manuel ...
IROS
2006
IEEE
128views Robotics» more  IROS 2006»
16 years 4 days ago
Kinematic Design Optimization of an Actuated Carrier for the DLR Multi-Arm Surgical System
— In this paper, a generic approach to optimize the design of an actuated carrier for the DLR multi-arm surgical system is presented. The carrier is attached to the ceiling of th...
Rainer Konietschke, Tobias Ortmaier, Ulrich Hagn, ...