2608 search results - page 202 / 522 » Subjects, Models, Languages, Transformations |
185
click to vote
ECSQARU
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
166
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we introduce a logical viewpoint on architectures. The logical viewpoint is based on the distinction between symbolic and semantic models of architectures. The core ...
280
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
XML is the data interoperability standard in many application domains. Therefore, an increasing number of researchers and professionals, who are not computer scientists (although ...
159
click to vote
SIGMETRICS
2005
ACM
16 years 1 days ago
2005
ACM
A generic stochastic model with only two input parameters is introduced to evaluate the message delay in mobile ad hoc networks (MANETs) where nodes may relay messages. The Laplac...
197
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...