9785 search results - page 120 / 1957 » Open Agent Systems |
124
Voted
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
109
Voted
IFIPTCS
2000
15 years 7 months ago
2000
Abstract The sos formats ensuring that bisimilarity is a congruence often fail in the presence of structural axioms on the algebra of states. Dynamic bisimulation, introduced to ch...
128
Voted
EKAW
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Ontology reuse saves costs and improves interoperability between ontologies. Knowing which ontology to reuse is difficult without having a quality assessment. We employ u...
131
Voted
AVBPA
2005
Springer
15 years 9 months ago
2005
Springer
This paper concerns the generalizability of biometric identification results from small-sized closed systems to larger open systems. Many researchers have claimed high identificati...
135
Voted
FTDCS
1999
IEEE
15 years 8 months ago
1999
IEEE
Open Distributed Systems are the dominating intellectual issue of the end of this century. Figuring out how to build those systems will become a central issue in distributed system...