1226 search results - page 229 / 246 » Generating Abstractions from Static Domain Analysis |
ICECCS
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract—Cheddar is a framework dedicated to the specification of real-time schedulers, and to their analysis by simulation. It is developed in Ada. Some parts of its modular ar...
SAICSIT
2010
ACM
13 years 5 months ago
2010
ACM
Eliciting and analyzing requirements within knowledge systems, which fundamentally differ so far from technology supported systems represent particular challenges. African rural c...
ICDM
2006
IEEE
14 years 1 months ago
2006
IEEE
When monitoring sensory data (e.g., from a wearable device) the context oftentimes changes abruptly: people move from one situation (e.g., working quietly in their office) to ano...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
We present an event-driven video adaptation system in this paper. Events are detected by audio/video analysis and annotated by the description schemes (DSs) provided by MPEG-7 Mul...
BMCBI
2008
13 years 8 months ago
2008
Background: Amino acids responsible for structure, core function or specificity may be inferred from multiple protein sequence alignments where a limited set of residue types are ...