Sciweavers

2255 search results - page 404 / 451
» High Assurance Software Systems
Sort
View
IASTEDSE
2004
14 years 12 days ago
Mapping UML statecharts to java code
The Unified Modeling Language (UML) statechart diagram is used for modeling the dynamic aspects of systems. The UML statechart diagrams include many concepts that are not present ...
Iftikhar Azim Niaz, Jiro Tanaka
ICAD
2004
14 years 12 days ago
Capture and Recreation of Higher-Order 3D Sound Fields via Reciprocity
We propose a unified and simple approach for capturing and recreating 3D sound fields by exploring the reciprocity principle that is satisfied between the two processes. Our appro...
Zhiyun Li, Ramani Duraiswami, Nail A. Gumerov
CN
2007
148views more  CN 2007»
13 years 11 months ago
Using taxonomies for content-based routing with ants
Although the ant metaphor has been successfully applied to routing of data packets both in wireless and fixed networks, little is known yet about its appropriateness for search i...
Elke Michlmayr, Arno Pany, Gerti Kappel
JGAA
2007
124views more  JGAA 2007»
13 years 11 months ago
Energy Models for Graph Clustering
The cluster structure of many real-world graphs is of great interest, as the clusters may correspond e.g. to communities in social networks or to cohesive modules in software syst...
Andreas Noack
JMM2
2007
118views more  JMM2 2007»
13 years 11 months ago
FPGA-based Real-time Optical Flow Algorithm Design and Implementation
—Optical flow algorithms are difficult to apply to robotic vision applications in practice because of their extremely high computational and frame rate requirements. In most case...
Zhaoyi Wei, Dah-Jye Lee, Brent E. Nelson