Sciweavers

2245 search results - page 324 / 449
» A Case Study Implementing Features Using AspectJ
Sort
View
CHI
2008
ACM
16 years 6 months ago
A framework for mobile evaluation
In this paper we present a software framework which supports the construction and evaluation of mixedfidelity prototypes for mobile devices. The framework is available for desktop...
Marco de Sá, Luís Carriço, Lu...
CHI
2003
ACM
16 years 6 months ago
The challenges of user-centered design and evaluation for infrastructure
Infrastructure software comprises code libraries or runtime processes that support the development or operation of application software. A particular infrastructure system may sup...
W. Keith Edwards, Victoria Bellotti, Anind K. Dey,...
TLDI
2010
ACM
218views Formal Methods» more  TLDI 2010»
16 years 3 months ago
Pointwise generalized algebraic data types
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
Chuan-kai Lin, Tim Sheard
MUM
2009
ACM
251views Multimedia» more  MUM 2009»
16 years 1 months ago
WiMo: location-based emotion tagging
In this paper we introduce WiMo, a location-based social networking tool that enables users to share and store their emotional feelings about places. WiMo creates a mobile social ...
Ruturaj N. Mody, Katharine S. Willis, Roland Kerst...
DSD
2008
IEEE
124views Hardware» more  DSD 2008»
16 years 26 days ago
A Modular Approach to Model Heterogeneous MPSoC at Cycle Level
This paper proposes a system-level cycle-based framework to model and design heterogeneous Multiprocessor Systems on-Chip (MPSoC), called GRAPES. The approach features flexibilit...
Matteo Monchiero, Gianluca Palermo, Cristina Silva...