306 search results - page 2 / 62 » Effects as sessions, sessions as effects |
COCOA
2009
Springer
13 years 9 months ago
2009
Springer
stract to be announcedPlenary session 09:00-10:00 Panos M, Pardalos, University of Florida, USA Tea Break 10:00-10:20 At the 1st floor 10:20-10:45 Polynomial Approximation Schemes ...
ICST
2008
IEEE
14 years 23 days ago
2008
IEEE
This paper introduces an approach to web application regression testing, based upon repair of user session data. The approach is entirely automated. It consists of a white box exa...
ENTCS
2010
13 years 1 months ago
2010
This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled sess...
FQAS
2006
Springer
13 years 10 months ago
2006
Springer
Searchers' difficulty in formulating effective queries for their information needs is well known. Analysis of search session logs shows that users often pose short, vague quer...
AIED
2007
Springer
14 years 16 days ago
2007
Springer
Good teachers know their students, and exploit this knowledge to adapt or optimise their instruction. Traditional teachers know their students because they interact with them face-...