1527 search results - page 82 / 306 » From Requirements to Design: Formalizing the Key Steps |
151
Voted
FAC
2002
15 years 5 months ago
2002
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. More...
145
click to vote
EWSA
2005
Springer
15 years 11 months ago
2005
Springer
The growing importance of context-awareness in the construction of adaptable systems requires the development of formal models and notations that can bring this new dimension from ...
127
click to vote
COMMA
2008
15 years 7 months ago
2008
The past ten years have shown a great variety of approaches for formal argumentation. An interesting question is to which extent these various formalisms correspond to the differen...
150
click to vote
ASIAN
2006
Springer
15 years 9 months ago
2006
Springer
We present formal proof rules for inductive reasoning about the way that data transmitted on the network remains secret from a malicious attacker. Extending a compositional protoco...
165
click to vote
BMVC
2010
15 years 4 months ago
2010
We present a scalable and incremental approach for creating interactive image-based walkthroughs from a dynamically growing collection of photographs of a scene. Prior approaches,...