1965 search results - page 276 / 393 » On the analysis of interacting pushdown systems |
152
click to vote
IFIP
2009
Springer
16 years 23 days ago
2009
Springer
A number of selected field-study techniques have been validated in a case study in the domain of railway signal boxes. The context of this work is the endeavour of a human-centred ...
268
Voted
VLSI
2007
Springer
16 years 9 days ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
164
Voted
ECML
2005
Springer
15 years 11 months ago
2005
Springer
Automatic facial expression recognition is a research topic with interesting applications in the field of human-computer interaction, psychology and product marketing. The classi...
150
click to vote
AOSE
2004
Springer
15 years 11 months ago
2004
Springer
Societies need patterned behavior to exist. Large-scale agent societies may contain a diversity of agents, each with differing abilities and functionalities. When such an agent sys...
215
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents a requirements engineering framework based on the notions of Actor, Goal, and Intentional Dependency, and applies it to a case study in the field of Informatio...