854 search results - page 124 / 171 » Addressing Dynamic Issues of Program Model Checking |
135
click to vote
CLOUDCOM
2010
Springer
14 years 11 months ago
2010
Springer
Cloud computing has become one of the key considerations both in academia and industry. Cheap, seemingly unlimited computing resources that can be allocated almost instantaneously...
137
click to vote
ISSRE
2000
IEEE
15 years 6 months ago
2000
IEEE
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...
143
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
One of the main issues in the design of sensor networks is energy efficient communication of time-critical data. Energy wastage can be caused by failed packet transmission attempts...
159
click to vote
ANOR
2010
15 years 20 days ago
2010
Operations Research is probably one of the most successful fields of applied mathematics used in Economics, Physics, Chemistry, almost everywhere onehastoanalyzehugeamountsofdata.L...
116
click to vote
ACSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
As new attacks against Windows-based machines emerge almost on a daily basis, there is an increasing need to “lock down” individual users’ desktop machines in corporate comp...