1750 search results - page 43 / 350 » E-Commerce Development Procedure |
127
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
115
Voted
CAISE
2003
Springer
15 years 7 months ago
2003
Springer
This paper describes a new procedure that has been developed for extending an existing on-line information system about The Voyages of the Beagle with information collected automat...
129
click to vote
APAQS
2000
IEEE
15 years 7 months ago
2000
IEEE
Estimating different characteristics viz., size, cost, etc. of sofrware during different phases of software development is required to manage the resources effectively. Function p...
135
Voted
RSP
1998
IEEE
15 years 6 months ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
125
Voted
FTP
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. We describe two methods on the basis of which efficient resolution decision procedures can be developed for a range of description logics. The first method uses an orderi...