11561 search results - page 183 / 2313 » Open Distributed Processing |
85
Voted
MICRO
2008
IEEE
15 years 7 months ago
2008
IEEE
Higher level of resource integration and the addition of new features in modern multi-processors put a significant pressure on their verification. Although a large amount of res...
106
click to vote
WWW
2009
ACM
16 years 1 months ago
2009
ACM
The Semantic Web initiative has led to an upsurge of the interest in rules as a general and powerful way of processing, combining, and analyzing semantic information. Since severa...
89
Voted
WWW
2003
ACM
16 years 1 months ago
2003
ACM
Hypermedia systems and more specifically open hypermedia systems (OHS) provide a rich set of implementations of different hypertext flavors such as navigational hypertext, spatial...
AMAST
2006
Springer
15 years 4 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...
114
click to vote
LREC
2008
15 years 2 months ago
2008
Combinatorial Category Grammar is (CCG) a lexicalized grammar formalism which is expressed by syntactic category, a logical form representation. There are difficulties in represen...