9110 search results - page 7 / 1822 » Formally-Based Design Evaluation |
CHI
2011
ACM
14 years 1 months ago
2011
ACM
Composition, listening, and performance are essential activities in classroom music education, yet conventional music classes impose unnecessary limitations on students’ ability...
118
click to vote
ICDCSW
2011
IEEE
13 years 9 months ago
2011
IEEE
—Developing secure wireless sensor networks (WSNs) is a complex process that involves careful design of attack test cases and security countermeasures, as well as meaningful eval...
ICARCV
2006
IEEE
15 years 3 months ago
2006
IEEE
—This paper introduces an integrated modeling and analysis formalism based on colored Petri nets (CPNs) for supply chain configuration and evaluation. The structural changes of d...
102
click to vote
PLDI
2011
ACM
14 years 13 days ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
106
click to vote
SAC
2011
ACM
14 years 12 days ago
2011
ACM
The use of real-time systems can differ from their initial design and requirements. New missions may take place in a more agressive environment and cause faults that are not manag...