Sciweavers

2018 search results - page 264 / 404
» On Conceptualization as a Systematic Process
Sort
View
TSE
2008
97views more  TSE 2008»
13 years 9 months ago
Timed Automata Patterns
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 00...
ETS
2002
IEEE
121views Hardware» more  ETS 2002»
13 years 9 months ago
Establishing Connections: Interactivity Factors for a Distance Education Course
Both academic institutions and businesses are exploring a shift from face-to-face instruction to distance learning. However, without the foundation of a systematic instructional d...
Diane Berger Ehrlich
IJCIS
1998
116views more  IJCIS 1998»
13 years 9 months ago
Distributed Query Scheduling Service: An Architecture and Its Implementation
We present the systematic design and development of a distributed query scheduling service DQS in the context of DIOM, a distributed and interoperable query mediation system 26 ...
Ling Liu, Calton Pu, Kirill Richine
JCB
2002
93views more  JCB 2002»
13 years 9 months ago
Unfolding of Microarray Data
The use of DNA microarrays for the analysis of complex biological samples is becoming a mainstream part of biomedical research. One of the most commonly used methods compares the ...
Andrew B. Goryachev, Pascale F. Macgregor, Aled M....
TC
1998
13 years 9 months ago
Optimal Zero-Aliasing Space Compaction of Test Responses
—Many built-in self-testing (BIST) schemes compress the test responses from a k-output circuit to q signature streams, where q << k, a process termed space compaction. The ...
Krishnendu Chakrabarty, Brian T. Murray, John P. H...