3555 search results - page 389 / 711 » Security-Critical System Development with Extended Use Cases |
139
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
— Privacy, lineage, uncertainty, and security are important to many information integration efforts, and these “PLUS” properties interact in a number of complex ways. This pa...
160
click to vote
WSC
2008
15 years 9 months ago
2008
This paper suggests a generic simulation platform that can be used for real-time discrete event simulation modeling. The architecture of the proposed system is based on a tested f...
194
click to vote
AOSD
2005
ACM
16 years 10 days ago
2005
ACM
In this paper we propose an extension to JAsCo for supporting Adaptive Programming in a Component-Based Software Development context. JAsCo is an aspect-oriented programming langu...
171
click to vote
FUIN
2006
15 years 6 months ago
2006
In this paper we present a coordination model for component-based software systems based on the notion of mobile channels, define it in terms of a compositional trace-based semanti...
175
Voted
APAL
2010
15 years 7 months ago
2010
Abstract. We develop a general algebraic and proof-theoretic study of substructural logics that may lack associativity, along with other structural rules. Our study extends existin...