Sciweavers

2062 search results - page 176 / 413
» A Concern-Oriented Requirements Engineering Model
Sort
View
SIGSOFT
2005
ACM
16 years 4 months ago
Fluent temporal logic for discrete-time event-based models
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebasti&...
CSCWD
2005
Springer
15 years 6 months ago
Analytic Evaluation of Groupware Design
We propose an analytic method to evaluate groupware design. The method was inspired by GOMS, a well-known approach to analyze usability problems with single-user interfaces. GOMS h...
Pedro Antunes, Marcos R. S. Borges, José A....
136
Voted
WEBNET
2000
15 years 5 months ago
An Intelligent User Interface oriented to non-expert users
: This paper presents the design criteria for an Intelligent User Interface to a search engine of an on-line document data base. The Interface is aimed at users that have little or...
Fulvio Corno, Laura Farinetti, Giovanni Squillero
UAI
1993
15 years 5 months ago
Causal Independence for Knowledge Acquisition and Inference
I introduce a temporal belief-network representation of causal independence that a knowledge engineer can use to elicit probabilistic models. Like the current, atemporal belief-ne...
David Heckerman
124
Voted
CERA
2005
101views more  CERA 2005»
15 years 4 months ago
An Integrated Approach to Manufacturing Process Design and Costing
In order to accurately cost the new product manufacture, and to assess a `what if' scenario in a rapid manner, requires an information system which can integrate the process ...
S. Grewal, C. K. Choi