5904 search results - page 188 / 1181 » Requirements for a Composition Language |
147
click to vote
TSI
2008
15 years 3 months ago
2008
Ubiquitous applications are facing a large diversity of execution contexts. However, this diversity requires some continual adaptation to preserve the correct execution of these ap...
244
Voted
POPL
2005
ACM
16 years 4 months ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...
116
Voted
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract. With this paper we intend to present a brief overview of the current means to describe architecture in different standards. We cover AADL as an example of Architecture De...
134
click to vote
DEBS
2007
ACM
15 years 7 months ago
2007
ACM
In this paper, we describe design motivations and experience with a visual language that treats the architecture of a reactive system as a composition of small, asynchronous softw...
119
Voted
RECOMB
2008
Springer
16 years 4 months ago
2008
Springer
A major hindrance to studies of microbial diversity has been that the vast majority of microbes cannot be cultured in the laboratory and thus are not amenable to traditional method...