6978 search results - page 1242 / 1396 » On Proofs in System P |
EDOC
2006
IEEE
14 years 3 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
This study focused on improving vigilance performance through developing methods to arouse subjects to the possibility of errors in a data manipulation information warfare attack....
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper, we examine the relationship between users’ technology readiness (specifically employees) and their adoption of wireless technology and services in a longitudinal ...
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
We assessed the feasibility of “bridging the digital divide” by training community health advisors (CHAs) from low-income communities to use high-quality Internet-based health...
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
The increasing availability of web services necessitates efficient discovery and execution framework. The use of xml at various levels of web services standards poses challenges t...