427 search results - page 25 / 86 » Applying Aspect-Orientation in Designing Security Systems: A... |
ECRTS
1998
IEEE
14 years 29 days ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
A growing body of literature in networked systems research relies on game theory and mechanism design to model and address the potential lack of cooperation between self-intereste...
ASIAN
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. Clever algorithm design is sometimes superseded by simple encodings into logic. We apply this motto to a few case studies in the formal verification of security propertie...
OZCHI
2006
ACM
14 years 2 months ago
2006
ACM
This paper reports on a design case study for a mobile learning (M-learning) environment that follows a usercentred design approach. This development of the system applied an M-le...
BIRTHDAY
2004
Springer
14 years 2 months ago
2004
Springer
Inheritance and polymorphism are key mechanisms of the object-oriented approach that enable designers to develop systems in an incremental manner. In this paper, we develop techni...