Sciweavers

5439 search results - page 357 / 1088
» Patterns: from system design to software testing
Sort
View
COMPUTER
2000
128views more  COMPUTER 2000»
15 years 6 months ago
What's Ahead for Embedded Software?
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...
Edward A. Lee
AOSE
2005
Springer
16 years 12 days ago
Zooming Multi-Agent Systems
Abstract Complex systems call for a hierarchical description. Analogously, the engineering of non-trivial MASs (multiagent systems) requires principles and mechanisms for a multi-l...
Ambra Molesini, Andrea Omicini, Alessandro Ricci, ...
CC
2008
Springer
111views System Software» more  CC 2008»
15 years 8 months ago
A System for Generating Static Analyzers for Machine Instructions
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
Junghee Lim, Thomas W. Reps
151
Voted
ITNG
2010
IEEE
15 years 12 months ago
BAUT: A Bayesian Driven Tutoring System
—This paper presents the design of BAUT, a tutoring system that explores statistical approach for providing instant project failure analysis. Driven by a Bayesian Network (BN) in...
Song Tan, Kai Qian, Xiang Fu, Prabir Bhattacharya
CSB
2005
IEEE
131views Bioinformatics» more  CSB 2005»
16 years 14 days ago
Current Challenges in Bioimage Database Design
Information technology research has played a significant role in the high-throughput acquisition and analysis of biological information. The tremendous amount of information gath...
Ambuj K. Singh, Arnab Bhattacharya, Vebjorn Ljosa