3005 search results - page 353 / 601 » Logical Information Systems: from Taxonomies to Logics |
165
Voted
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
236
Voted
COORDINATION
2007
Springer
16 years 1 months ago
2007
Springer
Coordination languages for ad hoc networks with a fluid topology do not offer adequate support to detect and deal with device disconnection. Such a disconnection is particularly ...
196
Voted
BIOADIT
2006
Springer
15 years 11 months ago
2006
Springer
To provide application-oriented network services, a variety of overlay networks are deployed over physical IP networks. Since they share and compete for the same physical network r...
174
Voted
COOPIS
2002
IEEE
16 years 14 days ago
2002
IEEE
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of cr...
210
Voted
IICS
2003
Springer
16 years 21 days ago
2003
Springer
As XML has become an emerging standard for information exchange on the World Wide Web, it has gained attention in database communities to extract information from XML sees as a dat...