Sciweavers

9595 search results - page 1865 / 1919
» Functional programming in C
Sort
View
NAR
2007
85views more  NAR 2007»
15 years 1 months ago
The TIGR Rice Genome Annotation Resource: improvements and new features
In The Institute for Genomic Research Rice Genome Annotation project (http://rice.tigr.org), we have continued to update the rice genome sequence with new data and improve the qua...
Shu Ouyang, Wei Zhu, John A. Hamilton Jr., Haining...
RAS
2008
80views more  RAS 2008»
15 years 1 months ago
Motion design and learning of autonomous robots based on primitives and heuristic cost-to-go
The task of trajectory design of autonomous vehicles is typically two-fold. First, it needs to take into account the intrinsic dynamics of the vehicle, which are sometimes termed ...
Keyong Li, Raffaello D'Andrea
SAC
2008
ACM
15 years 1 months ago
Model-driven development of component-based adaptive distributed applications
This paper introduces an approach to develop componentbased adaptive distributed applications. Our approach separates the communication and the functional aspects of a distributed...
An Phung-Khac, Antoine Beugnard, Jean-Marie Gillio...
SAC
2008
ACM
15 years 1 months ago
Offline count-limited certificates
In this paper, we present the idea of offline count-limited certificates (or clics for short), and show how these can be implemented using minimal trusted hardware functionality a...
Luis F. G. Sarmenta, Marten van Dijk, Jonathan Rho...
ICST
2010
IEEE
15 years 14 days ago
Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard
— Increasingly, licensing and safety regulatory bodies require the suppliers of software-intensive, safety-critical systems to provide an explicit software safety case – a stru...
Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzade...
« Prev « First page 1865 / 1919 Last » Next »