3686 search results - page 284 / 738 » Comprehensive comprehensions |
115
click to vote
PDSE
1998
15 years 4 months ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
129
click to vote
ECSCW
1997
15 years 4 months ago
1997
: Formal tools (i.e , tools that operate on circumscribed input using rules, and that contain a model of the workplace in which are to function) are attributed central roles in org...
109
click to vote
ECSCW
1997
15 years 4 months ago
1997
: If the sharing of context is now widely acknowledged as a condition for successful communication, existing studies do not allow to determine whether it is necessary to restore th...
125
click to vote
WSC
1998
15 years 4 months ago
1998
Many simulation systems are standalone, running only on a desktop and having limited capabilities to integrate with other technologies such as company databases, workflow engines,...
124
click to vote
WSC
1998
15 years 4 months ago
1998
This paper presents a practical undertaking to solve an industry-specific problem of facility expansion through relocation of an existing production facility to a proposed new fac...