Sciweavers

1557 search results - page 192 / 312
» Agent- Oriented Software Development: A Case Study
Sort
View
131
Voted
ITSSA
2006
89views more  ITSSA 2006»
14 years 10 months ago
A Methodology for Classifying Self-Organizing Software Systems
: The software industry is faced with the fast growing complexity of IT infrastructures. This makes manual administration increasingly difficult and appears to be the limiting fact...
Klaus Herrmann, Matthias Werner, Gero Mühl
IUI
2006
ACM
15 years 4 months ago
Trust building with explanation interfaces
Based on our recent work on the development of a trust model for recommender agents and a qualitative survey, we explore the potential of building users’ trust with explanation ...
Pearl Pu, Li Chen
MOBICOM
2006
ACM
15 years 4 months ago
A software architecture for physical layer wireless network emulation
Despite their widespread deployment, many aspects of wireless network performance are poorly understood, and there is great room from improvement in wireless network reliability a...
Glenn Judd, Peter Steenkiste
111
Voted
ATVA
2006
Springer
206views Hardware» more  ATVA 2006»
15 years 1 months ago
Compositional Reasoning for Hardware/Software Co-verification
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
Fei Xie, Guowu Yang, Xiaoyu Song
86
Voted
DSN
2008
IEEE
14 years 12 months ago
Convicting exploitable software vulnerabilities: An efficient input provenance based approach
Software vulnerabilities are the root cause of a wide range of attacks. Existing vulnerability scanning tools are able to produce a set of suspects. However, they often suffer fro...
Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu