Sciweavers

3155 search results - page 185 / 631
» How Are You Doing
Sort
View
DEXAW
1999
IEEE
119views Database» more  DEXAW 1999»
14 years 1 months ago
Atomicity Implementation in Mobile Computing
Distributed systems using mobile computing do not have the traditional ACID properties (Atomicity, Consistency, Isolation and Durability), and, therefore, consistency problems may...
Lars Frank
CIKM
1999
Springer
14 years 1 months ago
Metadata and Data Structures for the Historical Newspaper Digital Library
We examine metadata and data-structure issues for the Historical Newspaper Digital Library. This project proposes to digitize and then do OCR and linguisting processing on several...
Robert B. Allen, John Schalow
ECAL
1999
Springer
14 years 1 months ago
Exploiting the Power of Sensory-Motor Coordination
One important implication of embodiment is that, by acting, agents partially determine the sensory patterns they receive from the environment. The motor actions performed by an age...
Stefano Nolfi, Domenico Parisi
ESOP
1999
Springer
14 years 1 months ago
Interprocedural Control Flow Analysis
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...
Flemming Nielson, Hanne Riis Nielson
SPIN
1999
Springer
14 years 1 months ago
Model Checking Operator Procedures
Operator procedures are documents telling operators what to do in various situations. They are widely used in process industries including the nuclear power industry. The correctne...
Wenhui Zhang