1297 search results - page 68 / 260 » fews 2007 |
ER
2007
Springer
15 years 6 months ago
2007
Springer
Many hypermedia models have been proposed, including those specifically developed to model navigational aspects of web sites. But few hypermedia systems have been implemented base...
EUROSPI
2007
Springer
15 years 6 months ago
2007
Springer
A central issue in knowledge management and software process improvement is to learn from experience. In software engineering, most experience is gathered in projects, which makes ...
FMCAD
2007
Springer
15 years 6 months ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
FMCAD
2007
Springer
15 years 6 months ago
2007
Springer
—Bus and interconnect protocols contain a few core operations (such as read and write transfers) whose behaviors interleave to form complex executions. Specifications of the cor...
FMCAD
2007
Springer
15 years 6 months ago
2007
Springer
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...