Sciweavers

561 search results - page 79 / 113
» A Methodology for Example-Based Specification and Design
Sort
View
DSD
2004
IEEE
129views Hardware» more  DSD 2004»
14 years 7 days ago
Functional Validation of Programmable Architectures
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
Prabhat Mishra, Nikil D. Dutt
WSC
1997
13 years 9 months ago
Applications of the Universal Joint Task List to Joint Exercise Results
The foundation of readiness is training. The Chairman, Joint Chiefs of Staff (CJCS) Joint Training Program institutes methods for identifying training requirements through review ...
Sam H. Parry, Michael C. McAneny, Richard J. Drome...
AO
2007
111views more  AO 2007»
13 years 8 months ago
Let's talk about our "being": A linguistic-based ontology framework for coordinating agents
Abstract. In open scenarios, agents willing to cooperate must impact the communication barrier between them and their unknown partners. If agents are not relying on any agreement a...
Maria Teresa Pazienza, Savino Sguera, Armando Stel...
JUCS
2008
130views more  JUCS 2008»
13 years 8 months ago
"Fine Tuning" Image Accessibility for Museum Web Sites
: Accessibility and usability guidelines are available to design web sites accessible to blind users. However, the actual usability of accessible web pages varies depending on the ...
Barbara Leporini, Ivan Norscia
TCBB
2008
103views more  TCBB 2008»
13 years 8 months ago
DNA Motif Representation with Nucleotide Dependency
The problem of discovering novel motifs of binding sites is important to the understanding of gene regulatory networks. Motifs are generally represented by matrices (PWM or PSSM) o...
Francis Y. L. Chin, Henry C. M. Leung