1017 search results - page 95 / 204 » Conceptual Design |
GI
2005
Springer
15 years 3 months ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
CHI
1996
ACM
15 years 2 months ago
1996
ACM
Shared physical workspaces allow people to maintain upto-the minute knowledge about others' interaction with the workspace. This knowledge is workspace awareness, part of the...
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
WWW
2008
ACM
15 years 10 months ago
2008
ACM
An infosuasive web application is mainly intended to be at the same time informative and persuasive, i.e., it aims at supporting knowledge needs and it has also the (declared or n...
WWW
2007
ACM
15 years 10 months ago
2007
ACM
The design and maintenance of ontologies is a complex social collaborative activity, and this is true especially for semantic-web ontologies. On the one hand, such activity calls ...