6608 search results - page 1051 / 1322 » On the Completeness of Model Checking |
174
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, a method based on part-of-speech tagging (PoS) is used for bibliographic reference structure. This method operates on a roughly structured ASCII file, produced by O...
212
click to vote
RTCSA
2003
IEEE
15 years 12 months ago
2003
IEEE
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...
197
click to vote
WORDS
2003
IEEE
15 years 12 months ago
2003
IEEE
A new class of applications can now be envisaged with the emergence of both mobile ad hoc computing and ubiquitous computing. Applications of such kind are characterised by being ...
161
click to vote
ICICS
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents a policy-based framework for managing access control in distributed heterogeneous systems. This framework is based on the PDP/PEP approach. The PDP (Policy Deci...
161
click to vote
IFIP
2003
Springer
15 years 12 months ago
2003
Springer
Wi-Fi hotspots are one of the most promising scenarios for mobile computing. In this scenario, a very limiting factor is the scarcity of mobile-device energetic resources. Both har...