5228 search results - page 313 / 1046 » Case Studies for Software Engineers |
160
click to vote
AUIC
2003
IEEE
16 years 4 days ago
2003
IEEE
Mobile phones can be used to access personal and public information. Although most of these types of information are in textual form, an increasing number of service providers are...
154
click to vote
FSEN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
184
click to vote
FOSSACS
2005
Springer
16 years 11 days ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
185
click to vote
FSTTCS
2005
Springer
16 years 11 days ago
2005
Springer
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
183
Voted
MSR
2010
ACM
15 years 12 months ago
2010
ACM
—To help developers in using frameworks, good documentation is crucial. However, it is a challenge to create high quality documentation especially of hotspots in white-box framew...