7892 search results - page 65 / 1579 » Programming with Models |
101
click to vote
CHI
2009
ACM
14 years 11 months ago
2009
ACM
Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream development practice. This paper present...
134
click to vote
KBSE
2000
IEEE
15 years 5 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
128
Voted
PERVASIVE
2010
Springer
14 years 11 months ago
2010
Springer
ing model abstracts over various types of positioning systems and incorporates the capture of uncertainty, serving as a foundation on which developers can apply sensor-fusion techn...
104
click to vote
ECSQARU
2009
Springer
15 years 7 months ago
2009
Springer
Argumentation frameworks have proven to be a successful approach to formalizing commonsense reasoning. Recently, some argumentation frameworks have been extended to deal with possi...
122
click to vote
IJNSEC
2008
15 years 1 months ago
2008
In this paper we demonstrate that it is possible in general to detect Windows-based malicious program behavior. Since S. Forrest et al. used the N-grams method to classify system ...