2255 search results - page 328 / 451 » High Assurance Software Systems |
169
click to vote
DAC
2006
ACM
15 years 9 months ago
2006
ACM
Security and reliability in processor based systems are concerns requiring adroit solutions. Security is often compromised by code injection attacks, jeopardizing even `trusted so...
180
click to vote
ER
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Navigability is a main concern in the design of Web applications. In order to assess such navigability a number of measures has been proposed. From them, measures defined...
151
click to vote
VL
1995
IEEE
15 years 9 months ago
1995
IEEE
After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established ...
179
click to vote
ICIA
2007
15 years 8 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...
166
click to vote
FM
2008
Springer
15 years 7 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 ...