8083 search results - page 1404 / 1617 » A Formalization of Software Architecture |
159
click to vote
PLDI
2006
ACM
16 years 17 days ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
176
click to vote
IUI
2005
ACM
16 years 5 days ago
2005
ACM
This paper describes an Intelligent Shopping Assistant designed for a shopping cart mounted tablet PC that enables individual interactions with customers. We use machine learning ...
172
click to vote
VMCAI
2005
Springer
16 years 2 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
180
click to vote
SAC
2004
ACM
16 years 1 days ago
2004
ACM
In this paper we present an approach for developing adaptable software applications. The problem we are facing is that of a (possibly mobile) user who wants to download and execut...
145
click to vote
AISC
2004
Springer
16 years 13 hour ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...