9006 search results - page 1281 / 1802 » Modeling Software |
193
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
Application autonomy can reduce interactions with users, ease the use of the system, and decrease user distraction. On the other hand, users may feel loss of control over their ap...
159
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
162
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
traction for Reduced ML Andrzej S. Murawski and Nikos Tzevelekos Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, UK We present the first effe...
184
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
176
click to vote
ACISICIS
2008
IEEE
16 years 1 months ago
2008
IEEE
Design of accessible applications is often a challenge for software architects and developers. Development usually starts with structure and functionality of the planned applicati...