376 search results - page 45 / 76 » Developing Theories of Types and Computability via Realizabi... |
CHI
2009
ACM
14 years 8 months ago
2009
ACM
We developed a low-effort interaction method called Click2Tag for social bookmarking. Information foraging theory predicts that the production of tags will increase as the effort ...
WSC
2007
13 years 10 months ago
2007
We consider the problem of efficient estimation of first passage time probabilities for a multidimensional random walk with t distributed increments, via simulation. In addition...
ISPA
2004
Springer
14 years 28 days ago
2004
Springer
Context-aware computing is a computing paradigm in which applications can take advantage of contextual information. Quality of network connection is a very important factor for mob...
APN
2008
Springer
13 years 9 months ago
2008
Springer
HYPENS is an open source tool to simulate timed discrete, continuous and hybrid Petri nets. It has been developed in Matlab to allow designer and user to take advantage of several...
ACMSE
2004
ACM
14 years 1 months ago
2004
ACM
Component-based software development has become an important approach to building complex software systems. Much research focuses on component specification to achieve the advanta...