2407 search results - page 343 / 482 » A Tool for Abstraction in Model Checking |
174
click to vote
WEBNET
2000
15 years 7 months ago
2000
In this paper, we present our lessons from the design and use of two educational software tools for teaching behavioral modeling to graduate students of digital art. The tools, Pai...
191
click to vote
HICSS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract: Software product line engineering is an established methodology for fast and effective development of software-intensive systems and services. To reap maximum benefits fr...
172
click to vote
CDC
2008
IEEE
16 years 22 days ago
2008
IEEE
Abstract— This paper considers the control problem for selfservowriting in disk drives where information propagation occurs in two independent directions, i.e. time and track num...
155
click to vote
NETCOOP
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. Optical Burst Switching proposes a future-proof alternative to the current electronic switching in the backbone. The involved optical buffers are implemented with a set o...
161
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper describes the AutoMed repository and some associated tools, which provide the first implementation of the both as view (BAV) approach to data integration. Apa...