6167 search results - page 101 / 1234 » Can Refinement be Automated |
149
click to vote
JAR
2000
15 years 3 months ago
2000
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
166
click to vote
ICHIT
2009
Springer
15 years 10 months ago
2009
Springer
As the popularity of the Internet continues growing, there are more and more services appeared, security measures are expected to become all the most important on the Internet. Pe...
129
click to vote
IWSOS
2007
Springer
15 years 10 months ago
2007
Springer
Autonomic computing environments rely on devices that are able to make intelligent decisions without human supervision. Automated Trust Negotiation supports the cooperation of devi...
118
click to vote
WECWIS
2006
IEEE
15 years 10 months ago
2006
IEEE
Success in today’s marketing arena can often depend on companies embracing effective new technologies and integrating them into their business model. In the computing service su...
100
click to vote
BPM
2005
Springer
15 years 9 months ago
2005
Springer
With the new middleware IT technologies such as Web Services and peer-to-peer computing facilities, a Virtual Enterprise can be built easier achieving some problems of interoperabi...