3971 search results - page 308 / 795 » On the Use of Properties in Java Applications |
170
click to vote
DATE
2005
IEEE
16 years 8 days ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
175
Voted
VRML
2005
ACM
16 years 6 days ago
2005
ACM
Web-based geometry transmission profits from a transmission system, which is both progressive and compressive. For this application, the wavelet transform has emerged as a suitab...
174
click to vote
BIBE
2003
IEEE
15 years 12 months ago
2003
IEEE
Contact map prediction is of great interest for its application in fold recognition and protein 3D structure determination. In this paper we present a contact-map prediction algor...
163
click to vote
GIS
1992
ACM
15 years 10 months ago
1992
ACM
A new approach to representing qualitative spatial knowledge and to spatial reasoning is presented. This approach is motivated by cognitive considerations and is based on relative ...
156
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Application scenarios for mobile ad-hoc networks (MANETs) impose a variety of non-standard security requirements. furthermore, in many scenarios owner and user of devices do not a...