7380 search results - page 659 / 1476 » Engineering Software Intensive Systems |
189
Voted
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
—Internet users interact with multiple Web Service Providers (WSP), and therefore, must remember and manage multiple passwords. Users try to overcome the burden of password manag...
204
click to vote
VMCAI
2005
Springer
16 years 17 days ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
204
click to vote
SEM
2004
Springer
16 years 13 days ago
2004
Springer
Business Intelligence (BI) systems address the demands of large scale enterprises for operational analytics, management information and decision support tasks. Building such applic...
173
click to vote
WWW
2010
ACM
16 years 11 days ago
2010
ACM
This paper addresses the problem of identifying redundant data in large-scale service-oriented information systems. Specifically, the paper puts forward an automated method to pi...
206
click to vote
ADAEUROPE
2010
Springer
15 years 12 months ago
2010
Springer
Now that multicore microprocessors have become a commodity, it is natural to think about employing them in all kinds of computing, including high-reliability embedded real-time sy...