4460 search results - page 354 / 892 » Formal methods for interactive systems |
188
click to vote
IUI
2012
ACM
14 years 2 months ago
2012
ACM
The style in which a robot moves, expressed through its gait or locomotion, can convey effective messages to people. For example, a robot could move aggressively in reaction to a ...
190
click to vote
SAFECOMP
2007
Springer
16 years 26 days ago
2007
Springer
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...
180
click to vote
ACMSE
2000
ACM
15 years 11 months ago
2000
ACM
We present the background and justi cation for a new approachto studying computation and computational complexity. We focus on categories of problems and categories of solutions w...
222
click to vote
AOSD
2009
ACM
15 years 4 months ago
2009
ACM
Traditional methods characterize a software product line's requirements using either functional or quality criteria. This appears to be inadequate to assess modularity, detec...
211
click to vote
FIW
2009
15 years 4 months ago
2009
Abstract. The idea of feature-oriented programming is to map requirements to features, concepts that can be composed to form a software product. Change-oriented programming (ChOP),...