3792 search results - page 518 / 759 » Techniques for Trusted Software Engineering |
180
click to vote
ECLIPSE
2004
ACM
16 years 3 days ago
2004
ACM
In this paper, we describe marking features provided in Gild, a set of plug-ins to support education in Eclipse developed at the University of Victoria. We discuss our requirement...
142
click to vote
IHM
2004
ACM
16 years 3 days ago
2004
ACM
Although coupling interaction resources is key to ubiquitous computing, this notion has been overlooked in previous studies. In this paper, we address this notion in a more system...
146
click to vote
FATES
2004
Springer
16 years 2 days ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
151
click to vote
IOLTS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we present a technique which allows to reduce the crosstalk-induced delay within busses implementing an error detecting/correcting code. This technique is based on t...
148
click to vote
UIST
2003
ACM
15 years 12 months ago
2003
ACM
This research explores distributed sensing techniques for mobile devices using synchronous gestures. These are patterns of activity, contributed by multiple users (or one user wit...