1604 search results - page 110 / 321 » Development Separation in Lambda-Calculus |
SIGECOM
2006
ACM
14 years 4 months ago
2006
ACM
We investigate the space of two-sided multiattribute auctions, focusing on the relationship between constraints on the offers traders can express through bids, and the resulting c...
WER
2004
Springer
14 years 3 months ago
2004
Springer
At present, the early phase of Requirements Engineering is a new research area in the Software Engineering field. This phase is concerned with the analysis of the organizational c...
CCGRID
2003
IEEE
14 years 3 months ago
2003
IEEE
Service-based Grid infrastructures emphasize service composition rather than sharing of low level resources. The idea is to build Grid applications out of computational services p...
ICSE
2001
IEEE-ACM
14 years 2 months ago
2001
IEEE-ACM
: The design and development of Internet applications, requiring dynamic and possibly mobile access to Internet resources, can take advantage of an approach based on autonomous mob...
UML
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. The current UML semantics documentation has made a signi cant step towards providing a precise description of the UML. However, at present the semantic model it proposes ...