211 search results - page 27 / 43 » Using PDAs in Meetings: Patterns, Architecture and Component... |
169
click to vote
ICDCS
2011
IEEE
14 years 5 months ago
2011
IEEE
—Massively parallel scientific applications, running on extreme-scale supercomputers, produce hundreds of terabytes of data per run, driving the need for storage solutions to im...
149
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
The planning and subsequent nationwide implementation of E-government service provisioning faces a number of challenges at the level of municipalities in the Netherlands. Initiati...
148
click to vote
POLICY
2007
Springer
16 years 1 days ago
2007
Springer
Obligation Policies specify management actions that must be performed when a particular kind of event occurs and certain conditions are satisfied. Large scale distributed systems...
177
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
296
click to vote
ICIAR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. With the adoption of tablet-based data entry devices, there is considerable interest in methods for converting hand-drawn sketches of flow charts, graphs and block diagr...