15779 search results - page 2618 / 3156 » Change-oriented software engineering |
100
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Depth-bounded processes form the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. In this paper we develop an ade...
128
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
We designed and implemented an ontological solution which makes provisions for choosing adequate devices/sensors for remote monitoring of patients who are suffering from post-stro...
119
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
The need for professionals to make informed ethical choices in design and management of information systems is more important than ever. However, the relative newness of the infor...
124
click to vote
IEEEARES
2009
IEEE
15 years 11 months ago
2009
IEEE
Privacy is gaining importance since more and more data becomes digitalized. There is also a growing interest from the security community because of the existing synergy between se...
118
click to vote
OZCHI
2009
ACM
15 years 11 months ago
2009
ACM
We aim to make sense of a perplexing human experience (fun) as it occurs in a recently discovered place for sociotechnical study (the home). Our toolkit includes technology probes...