690 search results - page 123 / 138 » Testing Temporal Logic Properties in Distributed Systems |
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper describes the development of reliable and valid scales for assessing the strategic potential of IT-enabled resources. Following to the resource-based view of the firm (...
LDTA
2010
13 years 8 months ago
2010
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...
ICPR
2008
IEEE
14 years 9 months ago
2008
IEEE
The calculation of local features at points of interest is a vital part of many current image retrieval and object detection systems. The wavelet-based interest point detector by ...
IPTPS
2003
Springer
14 years 1 months ago
2003
Springer
Considerable research effort has recently been devoted to the design of structured peer-to-peer overlays, a term we use to encompass Content-Addressable Networks (CANs), Distribut...
ML
1998
ACM
13 years 8 months ago
1998
ACM
During a project examining the use of machine learning techniques for oil spill detection, we have encountered several essential questions that we believe deserve the attention of ...