878 search results - page 123 / 176 » Interacting Abstract State Machines |
112
click to vote
EMSOFT
2009
Springer
15 years 4 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
107
click to vote
CSFW
2012
IEEE
13 years 8 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...
PAM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Timeouts play a fundamental role in network protocols, controlling numerous aspects of host behavior at different layers of the protocol stack. Previous work has documen...
QI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Information systems are socio-technical systems. Their design, analysis and implementation requires appropriate languages for representing social and technical concepts. ...
ROMAN
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract—In this paper, we present the humanoid communication robot Fritz. Our robot communicates with people in an intuitive, multimodal way. Fritz uses speech, facial expressio...