4971 search results - page 271 / 995 » Observation systems |
144
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
By examining searcher behavior on a large search engine, we have identified seven basic kinds of task behaviors that can be observed in web search session logs. In the studies rep...
124
click to vote
ACSD
2008
IEEE
16 years 1 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
135
click to vote
SRDS
2007
IEEE
16 years 27 days ago
2007
IEEE
In this work we investigate software aging phenomena inside the Java Virtual Machine (JVM). Starting from an experimental campaign on real world testbeds, this work isolates the c...
126
click to vote
ATAL
2007
Springer
16 years 25 days ago
2007
Springer
Teamwork requires that team members coordinate their actions. The representation of the coordination is a key requirement since it influences the complexity and flexibility of r...
117
click to vote
DAGM
2007
Springer
16 years 24 days ago
2007
Springer
Ever since the first fishermen ventured into the sea, tides have been the subject of intense human observation. As a result computational models and ‘tide predicting machines...