809 search results - page 104 / 162 » Formal Semantics for the Java Modeling Language |
142
Voted
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
Discovery is a central reasoning task in service-oriented architectures, concerned with detecting Web services that are usable for solving a given request. This paper presents two ...
122
Voted
COORDINATION
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The actor model provides high-level concurrency abstractions to coordinate simultaneous computations by message passing. Languages implementing the actor model such as Er...
216
Voted
POPL
2002
ACM
16 years 2 months ago
2002
ACM
Probability distributions are useful for expressing the meanings of probabilistic languages, which support formal modeling of and reasoning about uncertainty. Probability distribu...
112
click to vote
PADL
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
123
Voted
COORDINATION
2009
Springer
15 years 13 days ago
2009
Springer
Abstract. Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse, s...