1423 search results - page 160 / 285 » Quantum logic as a dynamic logic |
150
click to vote
OTM
2005
Springer
15 years 12 months ago
2005
Springer
Several applications require reasoning over autonomously developed ontologies. Initially conceived to explicit the semantics of a certain domain, these ontologies become a powerfu...
172
click to vote
WSTST
2005
Springer
15 years 12 months ago
2005
Springer
: Social networks, religion and culture of human beings play a major role in the day-to-day activities performed by each individual in group oriented missions. The aggregation and ...
188
click to vote
FMCO
2004
Springer
15 years 11 months ago
2004
Springer
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
181
click to vote
HIPEAC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In transactional memory, aborted transactions reduce performance, and waste computing resources. Ideally, concurrent execution of transactions should be optimally ordered...
239
click to vote
ISEC
2001
Springer
15 years 10 months ago
2001
Springer
Over the past decade the Internet has evolved into the largest public community in the world. It provides a wealth of data content and services in almost every field of science, t...