301 search results - page 20 / 61 » From description to requirements: an activity theoretic pers... |
87
Voted
DIGITEL
2008
IEEE
15 years 4 months ago
2008
IEEE
Most existing educational games cannot compete with their non-educational counterparts in terms of visual and narrative quality, gameplay, or adaptability. Amongst the most advanc...
82
Voted
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper describes an implementation language and synthesis system for automatically generating latency insensitive synchronous digital designs. These designs decouple behaviora...
AUSAI
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Temporal expressions—references to points in time or periods of time—are widespread in text, and their proper interpretation is essential for any natural language pro...
68
Voted
ERSHOV
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...
87
Voted
MOBISYS
2008
ACM
15 years 9 months ago
2008
ACM
Wireless interfaces are major power consumers on mobile systems. Considerable research has improved the energy efficiency of elongated idle periods or created more elongated idle ...