756 search results - page 91 / 152 » M-Modeler: a framework implementation for modeling m-commerc... |
ECAI
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
EDOC
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— In practice, the development of process-aware information systems suffers from a gap between conceptual business process models and executable workflow specifications...
VRST
2009
ACM
14 years 3 months ago
2009
ACM
Simulating crowds in complex environment is fascinating and challenging, however, modeling of the environment is always neglected in the past, which is one of the essential proble...
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Ambient intelligence (AmI) is a promising paradigm for humancentred interaction based on mobile and context-aware computing, natural interfaces and collaborative work. AM...
CGF
2011
13 years 18 days ago
2011
Efficient methods to compute intrinsic distances and geodesic paths have been presented for various types of surface representations, most importantly polygon meshes. These meshe...