484 search results - page 11 / 97 » Runtime software adaptation: framework, approaches, and styl... |
111
Voted
FMSD
2006
15 years 13 days ago
2006
Synchronous specifications are appealing in the design of large scale hardware and software systems because of their properties that facilitate verification and synthesis. When the...
115
click to vote
RE
2010
Springer
14 years 7 months ago
2010
Springer
Abstract Requirements Engineering (RE) research often ignores, or presumes a uniform nature of the context in which the system operates. This assumption is no longer valid in emerg...
109
click to vote
CBSE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Many component models and frameworks have been proabstract and capture concerns from Real-Time and Embedded application domains, based on high-level component-based appro...
110
click to vote
CSFW
2004
IEEE
15 years 4 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
106
Voted
PLDI
1998
ACM
15 years 4 months ago
1998
ACM
This paper presents a typed programming language and compiler for run-time code generation. The language, called ML2, extends ML with modal operators in the style of the Mini-ML2 ...