8623 search results - page 1448 / 1725 » Software engineering for secure systems |
145
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This in...
176
click to vote
CAISE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Software requirements engineering is an essential activity for the successful development of information systems. Requirements can be specified using different techniques...
160
click to vote
UIST
2004
ACM
15 years 11 months ago
2004
ACM
ScreenCrayons is a system for collecting annotations on any type of document or visual information from any application. The basis for the system is a screen capture upon which th...
132
click to vote
ARCS
2004
Springer
15 years 11 months ago
2004
Springer
: We investigated different parallel SIMD (single instruction multiple data) architectures based on pure programmable and reconfigurable approaches for their appropriateness for in...
170
click to vote
FSTTCS
2004
Springer
15 years 11 months ago
2004
Springer
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...