317 search results - page 46 / 64 » Reasoning about the Implementation of Concurrency Abstractio... |
123
click to vote
ENTCS
2008
15 years 1 months ago
2008
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
120
Voted
ERSHOV
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
105
click to vote
ESAW
2009
Springer
15 years 8 months ago
2009
Springer
Artificial agents, people, institutes and societies all have the ability to make decisions. Decision making as a research area therefore involves a broad spectrum of sciences, ran...
100
click to vote
SAS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
119
click to vote
DLOG
2006
15 years 2 months ago
2006
Abstract Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the onto...