2835 search results - page 394 / 567 » Imperfect Requirements in Software Development |
166
click to vote
TLCA
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
171
click to vote
ITCC
2005
IEEE
15 years 12 months ago
2005
IEEE
Developing large multi-agent systems is a complex task involving the processes of the requirement, architecture, design and implementation of these systems. In particular, the arc...
156
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Resource management is a critical concern in high-performance computing software. While management of processing resources to increase performance is the most critical, e...
127
click to vote
SERA
2005
Springer
15 years 12 months ago
2005
Springer
This paper shows the feasibility of SQL/MDR development. Previous approach has several problems such as complicated exchanging mechanism, dependent description to local MDR system...
153
click to vote
AIRS
2004
Springer
15 years 11 months ago
2004
Springer
Carrying out experiments in Information Retrieval is a heavy activity requiring fast tools to treat collections of significant size, and at the same time flexible tools to leave...