186 search results - page 11 / 38 » The x-Wait-Freedom Progress Condition |
HICSS
1999
IEEE
15 years 2 months ago
1999
IEEE
What EDI needs is a good semantics, that is, a workable formal theory of what EDI messages mean. As is widely recognized, the point applies to electronic commerce and to communica...
ACL
2010
14 years 7 months ago
2010
Automatic opinion recognition involves a number of related tasks, such as identifying the boundaries of opinion expression, determining their polarity, and determining their inten...
ECIS
2001
14 years 11 months ago
2001
The progression of implementation of an information systems strategy in a UK acute hospital is described. The case study describes the IS strategy, the conditions that led to its ...
102
click to vote
DAGSTUHL
2001
14 years 11 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
107
click to vote
TITB
2010
14 years 4 months ago
2010
Progressive loss of the field of vision is characteristic of a number of eye diseases such as glaucoma, a leading cause of irreversible blindness in the world. Recently, there has ...