4209 search results - page 601 / 842 » Abstract Dialectical Frameworks |
135
click to vote
TEI
2009
ACM
15 years 11 months ago
2009
ACM
Drawing on the ‘representation’ TUI framework [21], this paper reports a study that investigated the concept of ‘representation location’ and its effect on interaction and...
145
click to vote
ESSOS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. When a vulnerability is discovered in a cryptographic algorithm, or in a specific implementation of that algorithm, it is important that software using that algorithm or...
169
click to vote
EVOW
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The advancement of network induces great demands on a series of applications such as the multicast routing. This paper firstly makes a brief review on the algorithms in ...
130
click to vote
PERVASIVE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Emerging pervasive computing technologies present many opportunities to aid ad-hoc collocated group collaboration. To better understand ad-hoc collaboration using pervasi...
130
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...