2603 search results - page 53 / 521 » Design, use and experience of e-learning systems |
AOSD
2009
ACM
14 years 3 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
SECURWARE
2007
IEEE
14 years 3 months ago
2007
IEEE
The paper discusses an experience in using a realtime UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirement...
SOSP
2009
ACM
14 years 5 months ago
2009
ACM
Windows Error Reporting (WER) is a distributed system that automates the processing of error reports coming from an installed base of a billion machines. WER has collected billion...
EMINDS
2007
13 years 8 months ago
2007
Abstract We introduce our human-centered approach for designing a ubiquitous computing system which aims at providing a better experience for shoppers at a supermarket. We investig...
ICSM
2007
IEEE
14 years 3 months ago
2007
IEEE
Parallel developments are becoming increasingly prevalent in the building and evolution of large-scale software systems. Our previous studies of a large industrial project showed ...