368 search results - page 32 / 74 » The Role of Verification in Interactive Systems Design |
ICLP
2004
Springer
14 years 28 days ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
ECAI
2000
Springer
13 years 12 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
EUROMICRO
2009
IEEE
14 years 2 months ago
2009
IEEE
—Many collaboration platforms are realized as service-oriented systems enabling flexible compositions of services and support of interactions. Interactions between entities in s...
COMPSAC
2008
IEEE
13 years 9 months ago
2008
IEEE
This paper presents a methodology for setting up a Decision Support system for User Interface Design (DSUID). We first motivate the role and contributions of DSUID and then demons...
CHI
1998
ACM
13 years 11 months ago
1998
ACM
Although design metaphors play an important role in many software projects, their influence on system functionality, project methodology and the interactions among members of the ...