1525 search results - page 166 / 305 » Formal Models for Communication-Based Design |
ESORICS
2009
Springer
14 years 9 months ago
2009
Springer
Accountability mechanisms, which rely on after-the-fact verification, are an attractive means to enforce authorization policies. In this paper, we describe an operational model of ...
ECTEL
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Courseware validation should locate Learning Objects inconsistent with the courseware instructional design being used. In order for validation to take place it is necessa...
ESTIMEDIA
2008
Springer
13 years 10 months ago
2008
Springer
We propose a design optimization framework for adaptive real-time streaming applications. The main contribution is a hybrid approach for performance analysis combining formal anal...
IUI
1998
ACM
14 years 16 days ago
1998
ACM
Eliciting user-task models is a thorny problem in modelbased user interface design, and communicating domainspecific knowledge from an expert to a knowledge engineer is a continui...
EDOC
2007
IEEE
14 years 2 months ago
2007
IEEE
The increasing complexity of modern Information Services (IS) makes necessary to carry on review activities. For many companies, these reviews take place within the framework of t...