1415 search results - page 144 / 283 » Verified systems by composition from verified components |
166
click to vote
ICCS
2007
Springer
16 years 17 days ago
2007
Springer
The distributed object group framework (DOGF) enables easier integration of distributed objects to healthcare home applications. This paper describes a healthcare information manag...
148
click to vote
ICMB
2005
IEEE
16 years 4 hour ago
2005
IEEE
Security in mobile commerce is becoming more important due to increasing demand from users wishing to perform online transactions over mobile devices. Security is one of the criti...
158
click to vote
AMT
2006
Springer
15 years 10 months ago
2006
Springer
In high-tech industries, most manufacturing processes are complexly intertwined, in that manufacturers or engineers can hardly control a whole set of processes. They are only capa...
214
click to vote
SCSC
2007
15 years 7 months ago
2007
Abstract— Graphical variant modeling refers to a novel approach to object-oriented modeling whereby a class overrides behavior inherited from a parent class by specifying variati...
136
click to vote
JSCIC
2007
15 years 6 months ago
2007
We present a new preconditioner for the iterative solution of linear systems of equations arising from discretizations of systems of first order partial differential equations (P...