1078 search results - page 214 / 216 » Modelling and Verifying of e-Commerce Systems |
ICCS
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Recently, the distributed real-time services are developing in distributed object computing environments in a way that can support a new programming paradigm of the distr...
129
click to vote
SIGGRAPH
1992
ACM
15 years 3 months ago
1992
ACM
To reduce the cost of correcting design errors, assemblies of mechanical parts are modeled using CAD systems and verified electronically before the designs are sent to manufacturi...
ESCIENCE
2007
IEEE
15 years 3 months ago
2007
IEEE
The improvements of the luminosity of the Tevatron Collider require large increases in computing requirements for the CDF experiment which has to be able to increase proportionally...
105
click to vote
EJC
2008
15 years 1 months ago
2008
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...
SDM
2010
SIAM
15 years 1 months ago
2010
SIAM
Enterprises depend on their information workers finding valuable information to be productive. However, existing enterprise search and recommendation systems can exploit few studi...