4258 search results - page 229 / 852 » Languages and Interactive Software Development |
189
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
226
click to vote
CCS
2004
ACM
15 years 12 months ago
2004
ACM
Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy ...
190
click to vote
EP
1998
Springer
15 years 10 months ago
1998
Springer
This work presents the concepts and the tools involved in the interactive design of artistic screens. The screen elements are derived from a small set of analytical contours provid...
170
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...
167
click to vote
GPCE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. The past decade of experience has demonstrated that the generic programming methodology is highly effective for the design, implementation, and use of large-scale softwar...