3090 search results - page 529 / 618 » Document Processing with LinkIT |
LPAR
2007
Springer
15 years 6 months ago
2007
Springer
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
104
Voted
SAFECOMP
2007
Springer
15 years 6 months ago
2007
Springer
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...
138
Voted
VLDB
2007
ACM
15 years 6 months ago
2007
ACM
In many applications, the underlying data (the web, an XML document, or a relational database) can be seen as a graph. These graphs may be enriched with weights, associated with t...
97
Voted
ISESE
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper discusses software development using the Test Driven Development (TDD) methodology in two different environments (Windows and MSN divisions) at Microsoft. In both these...
123
Voted
GIR
2006
ACM
15 years 6 months ago
2006
ACM
Many documents that can be found in the World Wide Web include some kind of geographical information, often in an implicit way. The use of resources like gazetteers and geographic...