Sciweavers

5019 search results - page 344 / 1004
» Computing in Quotient Groups
Sort
View
GROUP
2005
ACM
16 years 11 days ago
Timing in the art of integration: 'that's how the bastille got stormed'
This paper uses a long term ethnographic study of the design and implementation of an electronic patient records (EPR) system in a UK hospital Trust to consider issues arising in ...
David Martin, Mark Rouncefield, Jacki O'Neill, Mar...
RTA
2005
Springer
16 years 9 days ago
Intruder Deduction for AC-Like Equational Theories with Homomorphisms
Cryptographic protocols are small programs which involve a high level of concurrency and which are difficult to analyze by hand. The most successful methods to verify such protocol...
Pascal Lafourcade, Denis Lugiez, Ralf Treinen
CHI
2004
ACM
16 years 7 days ago
Project massive: a study of online gaming communities
Massively Multiplayer Online Games (MMOGs) continue to be a popular and lucrative sector of the gaming market. Project Massive was created to assess MMOG players’ social experie...
A. Fleming Seay, William J. Jerome, Kevin Sang Lee...
PDC
2004
ACM
16 years 7 days ago
The weight of space: participatory design research for configuring habitable space for new arrival women in Hong Kong
When arriving to Hong Kong from China, the first difficulty of the new arrival women of the grassroots class is usually environmental stress. Their socio-economic situations often...
Jackie Yan-Chi Kwok
ARITH
2003
IEEE
16 years 3 days ago
High-Performance Left-to-Right Array Multiplier Design
We propose a split array multiplier organized in a left-to-right leapfrog (LRLF) structure with reduced delay compared to conventional array multipliers. Moreover, the proposed de...
Zhijun Huang, Milos D. Ercegovac