1898 search results - page 72 / 380 » About the art in this issue |
FM
2009
Springer
14 years 2 months ago
2009
Springer
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Computer forensics is a relatively new, but growing, field of study at the undergraduate college and university level. This paper describes some of the course design aspects of te...
EAGC
2003
Springer
14 years 1 months ago
2003
Springer
A preliminary study of the issues surrounding a seach engine for Grid environments, GRISEN, that would enable the provision of a variety of Grid information services, such as loca...
DAGSTUHL
2007
13 years 9 months ago
2007
Installing and using AAL Smart Home-systems in the homes of older people not only offers a tremendous potential for increasing safety and quality of life but may also evoke relucta...
LREC
2008
13 years 9 months ago
2008
Polarizing discussions about political and social issues are common in mass media. Annotations on the degree to which a sentence expresses an ideological perspective can be valuab...