15888 search results - page 356 / 3178 » Supporting human-intensive systems |
179
click to vote
ICDAR
2009
IEEE
16 years 2 months ago
2009
IEEE
Recent developments have resulted in dramatic changes in the way elections are conducted, both in the United States and around the world. Well-publicized flaws in the security of...
197
click to vote
FORMATS
2009
Springer
16 years 2 months ago
2009
Springer
Recently, the model of weighted timed automata has gained interest within the real-time community. In a previous work, we built a bridge to the theory of weighted automata and intr...
183
click to vote
ICFEM
2009
Springer
16 years 2 months ago
2009
Springer
It is believed that reusability in formal development should reduce the time and cost of formal modelling within a production environment. Along with the ability to reuse formal mo...
169
click to vote
COLCOM
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper describes GroupBanter, a tool for supporting serendipitous group conversations using instant messaging. We investigate the potential of ephemeral group conversations by ...
200
click to vote
DASFAA
2008
IEEE
16 years 2 months ago
2008
IEEE
Many Web sources provide forms to allow users to query their hidden data. For instance, online stores such as Amazon.com have search interfaces, using which users can query informa...