7961 search results - page 42 / 1593 » Input-Output Model Programs |
IFIP
1994
Springer
15 years 6 months ago
1994
Springer
142
click to vote
VLDB
1991
ACM
15 years 5 months ago
1991
ACM
Object-oriented data models are receiving wide attention since they provide expressive ionmechanismsto model naturally and directly both structural and behavioral aspectsof comple...
74
Voted
WSC
2008
15 years 4 months ago
2008
127
Voted
ICFEM
2004
Springer
15 years 7 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...