695 search results - page 82 / 139 » A Methodology for the Design of Courses in Information Syste... |
CLEIEJ
2006
13 years 7 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
CIMCA
2005
IEEE
13 years 9 months ago
2005
IEEE
This paper describes the research and development of a methodology to identify the type of information required by the service advisor (CSA) within customer contact centre (CCC) e...
CHI
2010
ACM
14 years 2 months ago
2010
ACM
In this paper, we explore the use of an Eco-Driving System [1] to see how the system promotes greener driving behavior. We conducted both an online survey (N=60) and a user test (...
IDEAL
2005
Springer
14 years 1 months ago
2005
Springer
The design, development, and use of complex systems models raises a unique class of challenges and potential pitfalls, many of which are commonly recurring problems. Over time, res...
WICSA
2004
13 years 9 months ago
2004
The sheer amount of data produced by modern science research has created a need for the construction and understanding of "data-intensive systems", largescale, distribut...