561 search results - page 96 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
123
click to vote
ASE
2004
14 years 11 months ago
2004
The construction of interactive server-side Web applications differs substantially from the construction of traditional interactive programs. In contrast, existing Web programming...
126
click to vote
CODES
2005
IEEE
15 years 5 months ago
2005
IEEE
The growing number of information security breaches in electronic and computing systems calls for new design paradigms that consider security as a primary design objective. This i...
102
click to vote
NDSS
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper, we present an approach for realizing a safe execution environment (SEE) that enables users to “try out” new software (or configuration changes to existing soft...
WSC
1998
15 years 1 months ago
1998
MODSIM II is an object-oriented discrete event simulation language featuring extensive run-time libraries, graphical user interface and results presentation tools, database access...
110
click to vote
ICCD
2002
IEEE
15 years 8 months ago
2002
IEEE
The requirements to system and software development tools brought up by the automotive industry differ from the requirements that other customers have. The important catchwords he...