2513 search results - page 49 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
RE
2002
Springer
13 years 9 months ago
2002
Springer
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
WCRE
1996
IEEE
14 years 2 months ago
1996
IEEE
An important challenge in software reengineering is to encapsulate collections of related data that, due to the absence of appropriate constructs for encapsulation in legacy progr...
ICSE
1994
IEEE-ACM
14 years 2 months ago
1994
IEEE-ACM
Abstract. Formal, visual approaches to system modelling are a promising research sub-area of con guration management. A visual notation for con guring software systems, called ConF...
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
Control design and real-time implementation are usually performed in isolation. The effects of the computer implementation on control system performance are still evaluated on the...
UIST
1997
ACM
14 years 2 months ago
1997
ACM
The metaDESK is a user interface platform demonstrating new interaction techniques we call “tangible user interfaces.” We explore the physical instantiation of interface eleme...