677 search results - page 54 / 136 » Dependent Types from Counterexamples |
COMCOM
2010
14 years 10 months ago
2010
A new method of estimating some statistical characteristics of TCP flows in the Internet is developed in this paper. For this purpose, a new set of random variables (referred to as...
CVPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Most existing methods of semi-supervised clustering introduce supervision from outside, e.g., manually label some data samples or introduce constrains into clustering results. Thi...
IPPS
2008
IEEE
15 years 4 months ago
2008
IEEE
— When an adaptive software component is employed to select the best-performing implementation for a communication operation at runtime, the correctness of the decision taken str...
BIRTHDAY
2005
Springer
15 years 3 months ago
2005
Springer
The “classical” approach to represent Petri nets by graph transformation systems is to translate each transition of a specific Petri net to a graph rule (behavior rule). This ...
FM
2006
Springer
15 years 1 months ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...