1782 search results - page 263 / 357 » Tool Support for Proof Engineering |
ISORC
2007
IEEE
14 years 3 months ago
2007
IEEE
Methodologies, techniques and tools that currently support the embedded systems (ESs) development process prove inadequate for today’s complex ESs. Adopted traditional architect...
ARCS
2007
Springer
14 years 3 months ago
2007
Springer
Sensor network technology is pushing towards integration into the business world. By using sensor node hardware to augment real life business items it is possible to capture the wo...
ISVC
2007
Springer
14 years 3 months ago
2007
Springer
This paper presents a technique that allows test engineers to visually analyze and explore within memory chip test data. We represent the test results from a generation of chips al...
RULEML
2007
Springer
14 years 3 months ago
2007
Springer
The SWRLTab is a development environment for working with SWRL rules in Protégé-OWL. It supports the editing and execution of SWRL rules. It also provides mechanisms to allow int...
SEMWEB
2007
Springer
14 years 3 months ago
2007
Springer
Since engineered systems, e.g. aviation control, have increasingly equipped with automated and computer-supported artifacts, human-system interaction has been an important issue. U...