4609 search results - page 35 / 922 » Automatic Generation of Sigma-Protocols |
156
click to vote
NLDB
2004
Springer
15 years 10 months ago
2004
Springer
This paper presented an approach for automatic generation of reports from domain ontologies encoded in Semantic Web standards like OWL. The paper identifies the challenges that ne...
151
click to vote
ISSE
2008
15 years 4 months ago
2008
The communication and tasking infrastructure of a real-time application makes up a significant portion of any modern embedded control system. Traditionally, the tasking and communi...
148
click to vote
IWANN
2009
Springer
15 years 11 months ago
2009
Springer
Controlling a biped robot with several degrees of freedom is a challenging task that takes the attention of several researchers in the fields of biology, physics, electronics, com...
118
click to vote
SAMOS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Systems-on-Chip (SoCs) may be built upon general purpose CPUs or application-specific instruction-set processors (ASIPs). On the one hand, ASIPs allow a tradeoff betwee...
172
click to vote
ISSTA
1998
ACM
15 years 9 months ago
1998
ACM
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...