2911 search results - page 510 / 583 » A Logic of Graph Constraints |
118
click to vote
DCOSS
2010
Springer
15 years 22 days ago
2010
Springer
Synchronization is widely considered as an important service in distributed systems which may simplify protocol design. Phase clock is a general synchronization tool that provides ...
111
click to vote
CORR
2010
Springer
15 years 19 days ago
2010
Springer
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
121
Voted
ENTCS
2008
15 years 18 days ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
111
click to vote
ENTCS
2006
15 years 17 days ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
84
Voted
EOR
2006
15 years 17 days ago
2006
This paper presents a new data classification method based on mixed-integer programming. Traditional approaches that are based on partitioning the data sets into two groups perfor...