530 search results - page 19 / 106 » Security Analysis of Open Building Automation Systems |
KBSE
2003
IEEE
15 years 2 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
114
Voted
SIGIR
2012
ACM
13 years 3 days ago
2012
ACM
The term online reputation addresses trust relationships amongst agents in dynamic open systems. These can appear as ratings, recommendations, referrals and feedback. Several repu...
ICDAR
1999
IEEE
15 years 1 months ago
1999
IEEE
We describe the Open Mind Initiative, a framework for large-scale collaborative efforts in building components of "intelligent" systems that address common-sense reasoni...
KBSE
2006
IEEE
15 years 3 months ago
2006
IEEE
To improve the productivity of the development process, more and more tools for static software analysis are tightly integrated into the incremental build process of an IDE. If mu...
126
click to vote
PLDI
2005
ACM
15 years 3 months ago
2005
ACM
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we ha...