2409 search results - page 350 / 482 » Logical systems for structured specifications |
146
click to vote
VR
1993
IEEE
15 years 10 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...
156
click to vote
IGPL
2010
15 years 4 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...
193
click to vote
CASES
2010
ACM
15 years 4 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...
148
click to vote
TVCG
2011
15 years 1 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...
156
click to vote
SIGSOFT
2008
ACM
16 years 7 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....