2513 search results - page 302 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
113
Voted
CGI
2006
IEEE
15 years 4 months ago
2006
IEEE
Rendering the structural color of natural objects or modern industrial products in the 3D environment is not possible with RGBbased graphics platforms and software and very time co...
117
Voted
CAV
2000
Springer
15 years 4 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
126
click to vote
CAISE
1995
Springer
15 years 4 months ago
1995
Springer
In this work we discuss a number of issues for the design of hypertext systems in an actor-based model of computation. We examine how the "traditional" basic concepts whi...
117
Voted
ICIA
2007
15 years 3 months ago
2007
Although there are high expectations for collaborative discussion and on-line learning, existing systems for on-line discussion and chat facilities are not fully effective in prom...
105
click to vote
FM
2008
Springer
15 years 2 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...