34181 search results - page 193 / 6837 » The Computer System GRAPHOGRAPH |
SIGCSE
2002
ACM
14 years 10 months ago
2002
ACM
As the complexity and variety of computer system hardware increases, its suitability as a pedagogical tool in computer organization/architecture courses diminishes. As a consequen...
ICSE
2008
IEEE-ACM
15 years 11 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
ICSE
2005
IEEE-ACM
15 years 10 months ago
2005
IEEE-ACM
Autonomic computing is a grand-challenge vision of the future in which computing systems will manage themselves in accordance with high-level objectives specified by humans. The I...
ICIDS
2009
Springer
15 years 5 months ago
2009
Springer
In this paper, we consider the problem of computing the affective responses that humans experience when reading or watching stories. Evidence suggests that emotional responses res...
LICS
2008
IEEE
15 years 5 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...