3555 search results - page 438 / 711 » Security-Critical System Development with Extended Use Cases |
178
click to vote
AMW
2010
15 years 8 months ago
2010
This paper introduces a set of challenges for developing a dissemination service over a Web collaborative network. We define specific metrics for working on a co-authorship researc...
159
Voted
SIMUTOOLS
2008
15 years 8 months ago
2008
During development of new protocols and systems researchers in most cases use simulations for evaluation of their product, especially in the area of communication networks. The qu...
169
click to vote
ACL
1998
15 years 8 months ago
1998
We describe the design and function of a robust processing component which is being developed for the Verbmobil speech translation system. Its task consists of collecting partial ...
157
Voted
ENTCS
2007
15 years 6 months ago
2007
We pursue the program of exposing the intrinsic mathematical structure of the “space of proofs” of a logical system [AJ94b]. We study the case of Multiplicative-Additive Linea...
196
Voted
JIT
2004
Springer
16 years 6 days ago
2004
Springer
Service Oriented Architectures (SOAs) have recently emerged as a new promising paradigm for supporting distributed computing. Web services, as well as integration-packages relying ...