7961 search results - page 1472 / 1593 » Input-Output Model Programs |
156
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
A decentralized search algorithm is a method of routing on a random graph that uses only limited, local, information about the realization of the graph. In some random graph model...
129
click to vote
PVLDB
2008
15 years 2 months ago
2008
Declarative languages have recently been proposed for many new applications outside of traditional data management. Since these are relatively early research efforts, it is import...
145
click to vote
SAC
2008
ACM
15 years 2 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
149
click to vote
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
132
click to vote
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
—The study of Cyber-Physical System (CPS) has been an active area of research. Internet Data Center (IDC) is an important emerging Cyber-Physical System. As the demand on Interne...