SIGCSE
2002
ACM
13 years 11 months ago
2002
ACM
This technical report describes the participation of women in computing in more than 30 countries, by focussing on participation at undergraduate level. A brief discussion covers ...
IJFCS
2007
13 years 11 months ago
2007
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...
JSAT
2008
13 years 11 months ago
2008
In this technical report we briefly describe the instances submitted to the 2006 and 2007 MaxSAT Evaluations. First, we introduce the instances that can be directly encoded as Max...
CORR
2006
Springer
13 years 11 months ago
2006
Springer
Traceroute is a networking tool that allows one to discover the path that packets take from a source machine, through the network, to a destination machine. It is widely used as a...
CORR
2008
Springer
13 years 11 months ago
2008
Springer
: This technical report details a family of time warp distances on the set of discrete time series. This family is constructed as an editing distance whose elementary operations ap...
UIST
1997
ACM
14 years 3 months ago
1997
ACM
Linear equality and inequality constraints arise naturally in specifying many aspects of user interfaces, such as requiring that one window be to the left of another, requiring th...
ISPEC
2005
Springer
14 years 5 months ago
2005
Springer
ded abstract of this technical report appeared in the Proceedings of the First Information Security Practice and Experience Conference (ISPEC 2005) [AHS05].