7623 search results - page 898 / 1525 » Constructive Volume Modeling |
180
click to vote
ENTCS
2007
15 years 7 months ago
2007
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
222
click to vote
IJNSEC
2007
15 years 7 months ago
2007
In order to maximize resource utilization as well as providing trust management in P2P computing environments, we propose a novel framework - Trust-Incentive Service Management (T...
209
click to vote
TCS
2008
15 years 7 months ago
2008
The standard 4-dimensional Minkowski space-time of special relativity is based on the 3-dimensional Euclidean metric. In 1967, H. Busemann showed that similar static space-time mo...
172
click to vote
COGSCI
2002
15 years 7 months ago
2002
Four experiments examined the strategies that individuals develop in sentential reasoning. They led to the discovery of five different strategies. According to the theory proposed...
169
click to vote
IJMMS
2000
15 years 7 months ago
2000
In this paper we present an approach to document enrichment, which consists of developing and integrating formal knowledge models with archives of documents, to provide intelligent...