2813 search results - page 109 / 563 » Formalizing Architectural Connection |
122
click to vote
DLOG
2001
15 years 6 months ago
2001
We combine the description logic ALC with the metric logics defined Entities that are conceived of as abstract points in the realm of ALC are given a spatial extension via an `ext...
97
Voted
IJAR
1998
15 years 4 months ago
1998
Decision-making procedure based on fuzzy relational composition may require that the involved connectives are not idempotent to handle signi cant information properly. Yet, non-id...
154
click to vote
FMCO
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
142
Voted
TPHOL
1996
IEEE
15 years 9 months ago
1996
IEEE
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...
166
Voted
ATAL
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...