2786 search results - page 267 / 558 » A Practical Technique for Process Abstraction |
151
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. An iterative method LSMR is presented for solving linear systems Ax = b and leastsquares problem min Ax - b 2, with A being sparse or a fast linear operator. LSMR is base...
152
click to vote
JCS
2002
15 years 6 months ago
2002
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
183
click to vote
CSCW
1999
ACM
15 years 6 months ago
1999
ACM
No work is inherently either visible or invisible. We always "see" work through a selection of indicators: straining muscles, finished artifacts, a changed state of affai...
185
click to vote
ISI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract--Releasing person-specific data could potentially reveal sensitive information of individuals. k-anonymization is a promising privacy protection mechanism in data publishi...
208
click to vote
PIMRC
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Troubleshooting of wireless networks is a challenging network management task. We have developed, in a previous work, a new troubleshooting methodology, which we named St...