2407 search results - page 403 / 482 » A Tool for Abstraction in Model Checking |
LCN
1996
IEEE
15 years 2 months ago
1996
IEEE
Development of new transport protocols or protocol algorithms suffers from the complexity of the envir onment in which they ar e intended to run. Modeling techniques attempt to av...
ICCAD
1994
IEEE
15 years 1 months ago
1994
IEEE
Abstract - Today's digital design systems are running out of steam, when it comes to meeting the challenges presented by simultaneous switching, power consumption and reliabil...
ECHT
1994
15 years 1 months ago
1994
The emergent nature of structure is a crucial, but often ignored, constraint on authoring hypertexts. VIKI is a spatial hypertext system that supports the emergent s of structure ...
APN
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
ECTEL
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. L2C - Learning to Collaborate - is an ongoing research project addressing the design of effective immersive simulation-based learning experiences supporting the developme...