1864 search results - page 252 / 373 » Formal topology and domains |
BIRTHDAY
2008
Springer
14 years 1 days ago
2008
Springer
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...
CAISE
2006
Springer
14 years 21 hour ago
2006
Springer
Abstract. This paper focuses on the sales and distribution phase in eHome systems. The huge market potential for affordable solutions leads to a multiplicity in terms of millions o...
ECAI
2008
Springer
13 years 11 months ago
2008
Springer
Keyword-based search engines, though hugely popular, are limited when trying to answer very specific queries. The processing of search results is performed by users, rather than th...
ECAI
2008
Springer
13 years 11 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
ECAI
2008
Springer
13 years 11 months ago
2008
Springer
At the "functional level", Semantic Web Services (SWS) are described akin to planning operators, with preconditions and effects relative to an ontology; the ontology prov...