1678 search results - page 127 / 336 » An ASM Specification of C |
164
click to vote
HUC
2004
Springer
15 years 11 months ago
2004
Springer
Ubiquitous computing technologies offer the promise of extending the benefits of computing to workers who do not spend their time at a desktop environment. In this paper, we review...
142
click to vote
ICCHP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents the eAccessibilityEngine tool, which employs adaptation techniques to automatically render web pages accessible by users with different types of disab...
161
click to vote
MABS
2004
Springer
15 years 11 months ago
2004
Springer
Some types of animals exploit patterns created in the environment as external mental states, thus obtaining an extension of their mind. In the case of social animals the creation a...
137
click to vote
RE
2004
Springer
15 years 11 months ago
2004
Springer
Assumptions are frequently made during requirements analysis of a system-to-be about the trustworthiness of its various components (including human components). These trust assump...
185
click to vote
RE
2004
Springer
15 years 11 months ago
2004
Springer
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a...