2299 search results - page 377 / 460 » Design and Use of Industrial Software Architectures |
126
Voted
SACMAT
2006
ACM
15 years 7 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
AICCSA
2005
IEEE
15 years 7 months ago
2005
IEEE
OpenSST (Open Simple Secure Transaction) is a free software project and aims to create an efficient, open and secure alternative to the secure proprietary transaction protocol. Op...
117
click to vote
ROBOCUP
2004
Springer
15 years 7 months ago
2004
Springer
This paper describes the joint approach of three research groups to enable a heterogeneous team of robots to exchange belief. The communication framework presented imposes little r...
INFOCOM
2000
IEEE
15 years 6 months ago
2000
IEEE
—Bowman is an extensible platform for active networking: it layers active-networking functionality in user-space software over variants of the System V UNIX operating system. The...
111
Voted
DNA
2007
Springer
15 years 5 months ago
2007
Springer
Reliable DNA computing requires a large pool of oligonucleotides that do not produce cross-hybridize. In this paper, we present a transformed algorithm to calculate the maximum wei...