9370 search results - page 1508 / 1874 » An Abstract Notion of Application |
158
Voted
QOFIS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. An intention to adopt IP protocol for future mobile communication and subsequent extension of Internet services to the air interface calls for advanced performance modeli...
196
click to vote
SAS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
167
click to vote
SAT
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. During the recent years, the development of tools for deciding Quantified Boolean Formulas (QBFs) has been accompanied by a steady supply of real-world instances, i.e., ...
191
Voted
SEMWEB
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Building user-friendly GUIs for browsing and filtering RDF/S description bases while exploiting in a transparent way the expressiveness of declarative query/view language...
159
click to vote
SEMWEB
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper presents a semantic web portal tool ONTOVIEWS for publishing RDF content on the web. ONTOVIEWS provides the portal designer with a content-based search engine ...