4418 search results - page 527 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
158
click to vote
MOBISYS
2005
ACM
16 years 6 months ago
2005
ACM
The ability to walk up to any computer, personalize it, and use it as one's own has long been a goal of mobile computing research. We present SoulPad, a new approach based on...
184
click to vote
HICSS
2006
IEEE
16 years 24 days ago
2006
IEEE
Utility provisioning, Grid resource management, instant copy kiosks, and network transfers provide an exciting new paradigm for data warehouse functions. Grid technologies are fas...
160
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
g higher levels of abstraction with automated downward transformations has always been the way to go, as long as the engineers who do the actual work are th the abstractions. A dev...
148
Voted
CEAS
2008
Springer
15 years 8 months ago
2008
Springer
The effectiveness of anti-spam techniques is an important question: after all, spam has a real cost to legitimate users in terms of time and resources. The problem is how we deter...
191
click to vote
KBSE
2005
IEEE
16 years 10 days ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...