7202 search results - page 1093 / 1441 » Software System Engineering: A Tutorial |
224
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...
173
click to vote
ADAEUROPE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Ada has proved to be one of the best languages to learn computer programming. Nevertheless, learning to program is difficult and when it is combined with lack of motivati...
149
Voted
UIST
2009
ACM
16 years 1 months ago
2009
ACM
In this paper we present a novel interface for selecting sounds in audio mixtures. Traditional interfaces in audio editors provide a graphical representation of sounds which is ei...
191
click to vote
CISIS
2008
IEEE
16 years 1 months ago
2008
IEEE
In 2006, John Mellor-Crummey and Michael Scott received the Dijkstra Prize in Distributed Computing. This prize was for their 1991 paper on algorithms for scalable synchronization ...
169
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...