6047 search results - page 169 / 1210 » Modeling with Extend |
117
click to vote
IJISEC
2006
15 years 1 months ago
2006
Abstract A number of recent proposals aim to incorporate security engineering into mainstream software engineering. Yet, capturing trust and security requirements at an organizatio...
106
click to vote
ISSE
2010
15 years 13 days ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
131
click to vote
IVA
2010
Springer
15 years 12 days ago
2010
Springer
Conversational modeling requires an extended time commitment, and the difficulty associated with capturing the wide range of conversational stimuli necessitates extended user parti...
UIST
1998
ACM
15 years 6 months ago
1998
ACM
We describe input devices and two-handed interaction techniques to support map navigation tasks. We discuss several design variations and user testing of two-handed navigation tec...
108
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language ...