1163 search results - page 220 / 233 » Case Studies of Model Checking for Embedded System Designs |
107
click to vote
CSE
2009
IEEE
15 years 3 months ago
2009
IEEE
Social networks and collaborative tagging systems are rapidly gaining popularity as primary means for sorting and sharing data: users tag their bookmarks in order to simplify infor...
CIMCA
2005
IEEE
15 years 1 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...
101
click to vote
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...
108
click to vote
MHCI
2009
Springer
15 years 6 months ago
2009
Springer
This paper summarizes value analysis of adopting technologysupported attendance control service in a primary school. The results are based on a case study that explored a 14-week ...
109
click to vote
CSCW
2004
ACM
15 years 5 months ago
2004
ACM
This paper considers the complexity of measuring the return on investment for technology adoption. A brief case study of technology adoption in a large design and construction fir...