5630 search results - page 118 / 1126 » Computability in Specification |
126
Voted
CHI
2010
ACM
15 years 5 months ago
2010
ACM
The computer game software with which we interact on a daily basis not only entertains us, it trains us into specific patterns. Critical Gameplay is a design practice which endeav...
124
click to vote
IJES
2006
15 years 4 months ago
2006
: Reconfigurable Computers can leverage the synergism between conventional processors and FPGAs to provide both hardware functionalities and general-purpose computers flexibility. ...
137
Voted
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
122
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Designing mobile and wearable applications is a challenge. The context of use is more important than ever and traditional methodologies for elicitation and specification reach the...
158
click to vote
PARELEC
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an organic computing approach for very fast image processing, which we call Marching Pixels (MPs). Using an embedded massively-parallel array of processor elements (PEs...