878 search results - page 54 / 176 » Choice and development |
129
click to vote
VISSOFT
2005
IEEE
15 years 10 months ago
2005
IEEE
We present MetricView, a software visualization and exploration tool that combines traditional UML diagram visualization with metric visualization in an effective way. MetricView ...
127
click to vote
ITRUST
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The early adoption of a national, legal digital signature framework in Italy has brought forth a series of problems and vulnerabilities. In this paper we describe each of...
123
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
This paper offers two main contributions. On the one hand, it establishes a general formal framework for developing a foundational ontology of socially constructed entities, in th...
153
click to vote
LPNMR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic program...
144
click to vote
ECRTS
2003
IEEE
15 years 9 months ago
2003
IEEE
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...