Sciweavers

1441 search results - page 196 / 289
» A Practical Approach to Network-Based Processing
Sort
View
84
Voted
CHARME
2005
Springer
136views Hardware» more  CHARME 2005»
15 years 5 months ago
Acceleration of SAT-Based Iterative Property Checking
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
Daniel Große, Rolf Drechsler
DIGRA
2005
Springer
15 years 5 months ago
A Sociotechnical Conjecture about the Context and Development of Multiplayer Online Game Experiences
The advent of multiplayer online games brings new actors into the development scene and redefines traditional roles and interactions. Anchored on studies of the role of context in...
Licinio Roque
HUC
2004
Springer
15 years 5 months ago
Reminding About Tagged Objects Using Passive RFIDs
People often misplace objects they care about. We present a system that generates reminders about objects left behind by tagging those objects with passive RFID tags. Readers posit...
Gaetano Borriello, Waylon Brunette, Matthew Hall, ...
105
Voted
LSO
2004
Springer
15 years 5 months ago
Embedding Experiences in Micro-didactical Arrangements
Experience-based Information Systems (EbIS) enable organizations to capture, store and reuse knowledge and experiences for continuous competence development. However, there are sev...
Eric Ras, Stephan Weibelzahl
WCRE
2003
IEEE
15 years 5 months ago
Identification of Software Instabilities
As software evolves, maintenance practices require a process of accommodating changing requirements while minimizing the cost of implementing those changes. Over time, incompatibi...
Jennifer Bevan, E. James Whitehead Jr.