3971 search results - page 463 / 795 » On the Use of Properties in Java Applications |
232
click to vote
POPL
1997
ACM
15 years 11 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
215
click to vote
CVPR
2001
IEEE
16 years 9 months ago
2001
IEEE
An imaging system with a single effective viewpoint is called a central projection system. The conventional perspective camera is an example of a central projection system. System...
365
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Abstract- Data streams of real numbers are generated naturally in many applications. The technology of online subsequence searching in data streams becomes more and more important ...
191
click to vote
IEEESCC
2009
IEEE
16 years 1 months ago
2009
IEEE
In many applications involving composite Web services, one or more component services may become unavailable. This presents us with the problem of identifying other components tha...
232
click to vote
WG
2009
Springer
16 years 1 months ago
2009
Springer
We study the parameterized complexity of several minimum label graph problems, in which we are given an undirected graph whose edges are labeled, and a property Π, and we are ask...