8623 search results - page 330 / 1725 » Software engineering for secure systems |
181
click to vote
COBUILD
1999
Springer
15 years 11 months ago
1999
Springer
A concept of complex objects, being artifacts that have one real physical part and several virtual parts representing certain aspects of the object, is introduced. These parts are ...
199
click to vote
COMPSAC
2011
IEEE
14 years 6 months ago
2011
IEEE
—Secure Computation (SC) enables secure distributed computation of arbitrary functions of private inputs. It has many useful applications, e.g. benchmarking or auctions. Several ...
155
click to vote
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
The world at large cares little for verified software; what it cares about are trustworthy and cost-effective systems that do their jobs well. We examine the value of verified sof...
211
click to vote
VAMOS
2008
Springer
15 years 8 months ago
2008
Springer
Software Product Line engineering allows companies to realise significant improvements in timeto-market, cost, productivity, and system quality. One major difficulty with software...
179
click to vote
CISIS
2010
IEEE
16 years 1 months ago
2010
IEEE
— The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production aut...