1678 search results - page 127 / 336 » An ASM Specification of C |
194
Voted
HUC
2004
Springer
16 years 10 days 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...
158
Voted
ICCHP
2004
Springer
16 years 10 days 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...
183
click to vote
MABS
2004
Springer
16 years 9 days 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...
154
click to vote
RE
2004
Springer
16 years 9 days 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...
209
Voted
RE
2004
Springer
16 years 9 days 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...