4966 search results - page 381 / 994 » its 2010 |
201
click to vote
ECBS
2010
IEEE
16 years 1 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
185
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
—The Access Policy Tool (APT) analyzes the firewall configuration in an enterprise network for compliance with global access policy, e.g., such as describes the industry’s be...
162
click to vote
ICDE
2010
IEEE
16 years 1 months ago
2010
IEEE
—Data compression techniques such as null suppression and dictionary compression are commonly used in today’s database systems. In order to effectively leverage compression, it...
111
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
We present Apatite, a new tool that aids users in learning and understanding a complex API by visualizing the common associations between its various components. Current object-or...
164
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
In this paper we report on the experience of using our concept mapping approach on an agile software project to assess its fitness. Participants used our novel concept mapping app...