Sciweavers

109 search results - page 10 / 22
» Interaction in quantum communication and the complexity of s...
Sort
View
CHI
2007
ACM
14 years 8 months ago
Back stage on the front lines: perspectives and performance in the combat information center
While tactical command. control and communication environments might appear to be entirely instrumental in nature, they nevertheless provide a setting for social interaction. This...
Paul M. Aoki
FM
2006
Springer
146views Formal Methods» more  FM 2006»
13 years 11 months ago
Formal Modeling of Communication Protocols by Graph Transformation
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
Zarrin Langari, Richard J. Trefler
CEC
2005
IEEE
14 years 1 months ago
Evolving swarms that build 3D structures
The complex interactions of natural swarms, for example formed by some social insects, are difficult to comprehend. Considering tasks such as nestbuilding, the necessary underlyin...
Sebastian von Mammen, Christian Jacob, Gabriella K...
BMCBI
2011
13 years 2 months ago
VennDiagram: a package for the generation of highly-customizable Venn and Euler diagrams in R
Background: Visualization of orthogonal (disjoint) or overlapping datasets is a common task in bioinformatics. Few tools exist to automate the generation of extensively-customizab...
Hanbo Chen, Paul C. Boutros
GI
2007
Springer
14 years 1 months ago
Achieving Semantic Interoperability By Using Complex Event Processing Technology
: State-of-the-art interoperability between heterogeneous systems on a technical level builds on services oriented architectures (SOA) for a given problem space. Semantics can be i...
Margarete Donovang-Kuhlisch