2255 search results - page 328 / 451 » High Assurance Software Systems |
175
click to vote
DAC
2006
ACM
15 years 10 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...
187
click to vote
ER
2006
Springer
15 years 10 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...
160
click to vote
VL
1995
IEEE
15 years 10 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 ...
186
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...
172
click to vote
FM
2008
Springer
15 years 8 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 ...