15253 search results - page 2469 / 3051 » Integer-Programming Software Systems |
265
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
253
click to vote
APN
2010
Springer
15 years 11 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...
205
click to vote
ANSS
1999
IEEE
15 years 11 months ago
1999
IEEE
The need for traffic analysis and traffic management applies to a vast range of disciplines. Simulation of traffic may assist in both analysis and management of traffic. In many s...
186
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
Verification is one of the most critical and time-consuming tasks in today's design processes. This paper demonstrates the verification process of a 8.8 million gate design u...
163
click to vote
ICDAR
1999
IEEE
15 years 11 months ago
1999
IEEE
We describe the Open Mind Initiative, a framework for large-scale collaborative efforts in building components of "intelligent" systems that address common-sense reasoni...