1811 search results - page 278 / 363 » Facilitation, Systems, and Users: The Complete Socio-Technic... |
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
WECWIS
2005
IEEE
14 years 1 months ago
2005
IEEE
Flexible workflow systems are needed for processes that need consistency as well as flexibility (e.g., personalized client interactions). A methodology for designing flexible serv...
JCDL
2005
ACM
14 years 1 months ago
2005
ACM
The Digital Anthropology Resources for Teaching (DART) project integrates the content acquisition and cataloging initiatives of a federated digital repository with the development...
OZCHI
2005
ACM
14 years 1 months ago
2005
ACM
Supporting awareness plays a prominent role in facilitating natural and effective communication in Instant Messaging (IM). This paper reports our empirical study of awareness in I...
VIZSEC
2005
Springer
14 years 1 months ago
2005
Springer
Many methods have been developed for monitoring network traffic, both using visualization and statistics. Most of these methods focus on the detection of suspicious or malicious ...