Sciweavers

12487 search results - page 412 / 2498
» Graspable Work Modeling
Sort
View
JUCS
2010
150views more  JUCS 2010»
15 years 6 months ago
Situation-Aware Community Computing Model for Developing Dynamic Ubiquitous Computing Systems
: For many complex and dynamic ubiquitous services, context-aware cooperation can be a solution. However, the way is not yet clear to make individual objects cooperate with each ot...
Youna Jung, Minsoo Kim
CORR
2008
Springer
100views Education» more  CORR 2008»
15 years 7 months ago
An Agent-Based Simulation of In-Store Customer Experiences
: Agent-based modelling and simulation offers a new and exciting way of understanding the world of work. In this paper we describe the development of an agent-based simulation mode...
Peer-Olaf Siebers, Uwe Aickelin, Helen Celia, Chri...
OSDI
2002
ACM
16 years 8 months ago
CMC: A Pragmatic Approach to Model Checking Real Code
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
Madanlal Musuvathi, David Y. W. Park, Andy Chou, D...
PAKDD
2009
ACM
126views Data Mining» more  PAKDD 2009»
16 years 2 months ago
Tree-Based Method for Classifying Websites Using Extended Hidden Markov Models
One important problem proposed recently in the field of web mining is website classification problem. The complexity together with the necessity to have accurate and fast algorit...
Majid Yazdani, Milad Eftekhar, Hassan Abolhassani
TPHOL
2009
IEEE
16 years 2 months ago
A Better x86 Memory Model: x86-TSO
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...
Scott Owens, Susmit Sarkar, Peter Sewell