1401 search results - page 181 / 281 » Tool Integration for Reasoned Programming |
111
click to vote
TPHOL
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
In recent years, Assertion-Based Verification is being widely accepted as a key technology in the pre-silicon validation of system-on-chip(SOC) designs. The System Verilog langua...
115
click to vote
ICRA
2005
IEEE
15 years 7 months ago
2005
IEEE
— We present an agent-based framework for the development of distributed applications for a team of heterogenous mobile robots. The main goal is to ease the development of cooper...
131
click to vote
ICCBR
2005
Springer
15 years 7 months ago
2005
Springer
The rapid growth of data stored in molecular biology-related databases has stimulated the development of integrative tools for retrieval and presentation of the data in the form of...
106
click to vote
JIT
2004
Springer
15 years 6 months ago
2004
Springer
Feature modeling, a conceptual domain modeling technique used mainly in domain engineering, proved as useful for representing configurability of concepts by dealing explicitly wit...