8083 search results - page 244 / 1617 » A Formalization of Software Architecture |
168
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
145
click to vote
INFSOF
2006
15 years 6 months ago
2006
Adding usability improving solutions during late stage development is to some extent restricted by the software architecture. However, few software engineers and human
155
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...
190
click to vote
FPL
2007
Springer
16 years 22 days ago
2007
Springer
This paper develops a formal model of process migration that describes programs, processes, and the migration of those processes within a migration realm. A migration realm is a g...
164
click to vote
FDL
2005
IEEE
16 years 6 days ago
2005
IEEE
In the field of real-time control applications, validation relies on a precise knowledge of the temporal characteristics of the used data such as delays and loss rates. These data...