12568 search results - page 2302 / 2514 » Selective user interaction |
138
click to vote
FROCOS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
132
click to vote
GROUP
2007
ACM
15 years 8 months ago
2007
ACM
Wikipedia's brilliance and curse is that any user can edit any of the encyclopedia entries. We introduce the notion of the impact of an edit, measured by the number of times ...
132
click to vote
3DPVT
2004
IEEE
15 years 8 months ago
2004
IEEE
Archaeology is a destructive process in which accurate and detailed recording of a site is imperative. As a site is exposed, documentation is required in order to recreate and und...
130
click to vote
AICT
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper describes and discusses challenges related to development of peer-to-peer games in J2ME using the available Bluetooth API (JSR82). By using Bluetooth on wireless device...
131
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...