7580 search results - page 1272 / 1516 » Prometheus design tool |
158
click to vote
AP2PC
2005
Springer
16 years 21 hour ago
2005
Springer
Peer-to-peer complementary currencies can be powerful tools for promoting exchanges and building sustainable relationships among selfish peers on the Internet. i-WAT[10] is a prop...
158
click to vote
ATVA
2005
Springer
16 years 19 hour ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
162
click to vote
CLEF
2005
Springer
16 years 14 hour ago
2005
Springer
This paper describes our participation at the GeoCLEF 2005 task. We detail the main software components of our Geo-IR system, its adaptation for the participation at GeoCLEF and d...
153
click to vote
ECOOP
2005
Springer
16 years 9 hour ago
2005
Springer
Abstract. Integrated development environments have been designed and engineered to display structural information about the source code of large systems. When a development task li...
159
click to vote
ERCIMDL
2005
Springer
16 years 7 hour ago
2005
Springer
Abstract. Managing bibliographic data is a requirement for many researchers, and in the group setting within which the majority of research takes place, the managing and sharing of...