3971 search results - page 547 / 795 » On the Use of Properties in Java Applications |
188
click to vote
CCR
1999
15 years 6 months ago
1999
The World Wide Web can be considered as a large distributed information system that provides access to shared data objects. As one of the most popular applications currently runni...
199
click to vote
TROB
2002
15 years 6 months ago
2002
Abstract--A new image-based control strategy for visual servoing of a class of under-actuated rigid body systems is presented. The proposed control design applies to "eye-in-h...
179
click to vote
ISSE
2010
15 years 5 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
165
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
We construct finite groups whose Cayley graphs have large girth even w.r.t. a discounted distance measure that contracts arbitrarily long sequences of edges from the same colour ...
183
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
Cloud security issues have recently gained traction in the research community, with much of the focus primarily concentrated on securing the operating systems and virtual machines...