3828 search results - page 629 / 766 » Proof-Based System Engineering Using a Virtual System Model |
102
click to vote
FSTTCS
2009
Springer
15 years 9 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
133
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Service-oriented systems are becoming more and more nodes in a digital, dynamic ecosystem requiring the identification and establishment of flexible, spontaneous collaboration act...
138
click to vote
UML
1998
Springer
15 years 6 months ago
1998
Springer
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...
112
click to vote
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
The growing popularity of aspect-oriented languages, such as AspectJ, and of corresponding design approaches, makes it important to learn how best to modularize programs in which ...
205
Voted
IUI
2006
ACM
15 years 8 months ago
2006
ACM
This paper addresses the problem of the graceful degradation of user interfaces where an initial interface is transferred to a smaller platform. It presents a technique for pagina...