8555 search results - page 159 / 1711 » Property Based Coordination |
154
click to vote
ICAT
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we propose a novel approach to extracting rheological properties of deformable objects based on Haptic vision, which was proposed for vision-based automatic constru...
110
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
— There has been considerable work done in the study of Web reference streams: sequences of requests for Web objects. In particular, many studies have looked at the locality prop...
131
click to vote
ISQED
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
131
click to vote
SIGSOFT
1994
ACM
15 years 8 months ago
1994
ACM
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...
149
click to vote
COMPLIFE
2006
Springer
15 years 8 months ago
2006
Springer
The ability to locate promoters within a section of DNA is known to be a very difficult and very important task in DNA analysis. We document an approach that incorporates the conce...