1225 search results - page 152 / 245 » Maximal Consistent Subsets |
CHARME
2003
Springer
14 years 22 days ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
FMCAD
2000
Springer
14 years 21 days ago
2000
Springer
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...
ICSE
2000
IEEE-ACM
14 years 20 days ago
2000
IEEE-ACM
This paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programmin...
ISAAC
2000
Springer
14 years 20 days ago
2000
Springer
Given a set of jobs, each consisting of a number of weighted intervals on the real line, and a number m of machines, we study the problem of selecting a maximum weight subset of th...
ACM
1995
14 years 19 days ago
1995
We study properties of rough sets, that is, approximations to sets of records in a database or, more formally, to subsets of the universe of an information system. A rough set is a...