2409 search results - page 350 / 482 » Logical systems for structured specifications |
120
click to vote
VR
1993
IEEE
15 years 8 months ago
1993
IEEE
Existing network management systems typically use a combination of textual displays and 2D directed graph representations of network topology. We are designing a network managemen...
124
click to vote
IGPL
2010
15 years 2 months ago
2010
Researchers studying complex cognition have grown increasingly interested in mapping symbolic cognitive architectures onto subsymbolic brain models. Such a mapping seems essential...
165
click to vote
CASES
2010
ACM
15 years 1 months ago
2010
ACM
Physical Unclonable Functions (PUFs) based on Ring Oscillators (ROs) are a promising primitive for FPGA security. However, the quality of their implementation depends on several d...
113
click to vote
TVCG
2011
14 years 10 months ago
2011
—Many graph visualization systems use graph hierarchies to organize a large input graph into logical components. These approaches detect features globally in the data and place t...
122
click to vote
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....