3216 search results - page 443 / 644 » Software engineering issues for mobile application developme... |
138
click to vote
FSTTCS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We investigate streaming evaluation of filters on XML documents, evaluated both at the root node and at an arbitrary node. Motivated by applications in protocol processin...
124
click to vote
TASE
2008
IEEE
15 years 3 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
133
click to vote
ICFEM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
164
click to vote
IRCDL
2010
15 years 4 months ago
2010
One of the most challenging issues in managing the large and diverse data available on the World Wide Web is the design of interactive systems to organize and represent information...
117
Voted
CHI
2004
ACM
16 years 3 months ago
2004
ACM
In this paper we describe a system that allows users to annotate digital photos at the time of capture. The system uses camera phones with a lightweight client application and a s...