1965 search results - page 247 / 393 » On the analysis of interacting pushdown systems |
AAMAS
2004
Springer
13 years 10 months ago
2004
Springer
Our goal in this paper is to introduce and motivate a methodology, called Tropos,1 for building agent oriented software systems. Tropos is based on two key ideas. First, the notion...
JIB
2010
13 years 5 months ago
2010
Increasingly, research focus in the fields of biology and medicine moves from the investigation of single phenomena to the analysis of complex cause and effect relationships. The ...
CSFW
2012
IEEE
12 years 17 days ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
DSVIS
2008
Springer
13 years 12 months ago
2008
Springer
This paper reports on our experience in using the MuiCSer process framework for the redesign of the user interface for operating an industrial digital printing system. MuiCSer is c...
LREC
2010
13 years 11 months ago
2010
This paper presents the evaluation of the PIT Corpus of multi-party dialogues recorded in a Wizard-of-Oz environment. An evaluation has been performed with two different foci: Fir...