6607 search results - page 177 / 1322 » Making TeX Work |
121
Voted
METRICS
2005
IEEE
15 years 9 months ago
2005
IEEE
Software measurement programs can help organizations make better decisions regarding their software projects. However, creating and establishing software measurement programs can ...
113
click to vote
EPEW
2005
Springer
15 years 9 months ago
2005
Springer
webπ is a recent process calculus introduced to formally specify Web Services composition. It extends the π-calculus with timed workunits, namely an asynchronous and temporized m...
127
Voted
ISMIR
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes a visual playlist creation method based on a previously designed visualization technique for large music collections. The method gives users high-level contro...
117
Voted
ACRI
2004
Springer
15 years 9 months ago
2004
Springer
We describe two improvements made to CD++, a tool for modeling and simulation of cellular models based on the Cell-DEVS formalism. The modifications described in this work remove s...
204
click to vote
FIDJI
2004
Springer
15 years 9 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...