651 search results - page 68 / 131 » Decisions in thesaurus construction and use |
109
click to vote
QOSA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Software architecture and software architecture practices become increasingly important for information systems since they enable reasoning on the design of the system. T...
ICPADS
2006
IEEE
15 years 6 months ago
2006
IEEE
Using simulations of a complex system such as a Web Application Server provides us with a tool that allows the running of tests without using the resources needed in a real system...
IPTPS
2003
Springer
15 years 5 months ago
2003
Springer
In a peer-to-peer file-sharing system, a client desiring a particular file must choose a source from which to download. The problem of selecting a good data source is difficult...
164
click to vote
CLIMA
2011
13 years 11 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
88
Voted
CALCO
2007
Springer
15 years 6 months ago
2007
Springer
Metric coinduction is a form of coinduction that can be used to establish properties of objects constructed as a limit of finite approximations. One can prove a coinduction step s...