Sciweavers

6794 search results - page 354 / 1359
» Semantics of Visual Languages
Sort
View
ICITA
2005
IEEE
16 years 8 days ago
Searching the Web: From Keywords to Semantic Queries
Within the emergent Semantic Web framework, the use of traditional web search engines based on keywords provided by the users is not adequate anymore. Instead, new methods based o...
José A. Royo, Eduardo Mena, Jorge Bernad, A...
ACSD
1998
IEEE
101views Hardware» more  ACSD 1998»
15 years 11 months ago
A True Concurrency Semantics for ET-LOTOS
One of the central objectives of the LOTOS restandardisation activity is to de ne an enhanced LOTOS language which supports real-time speci cation. The timed extension is based up...
Howard Bowman, Joost-Pieter Katoen
DOOD
1997
Springer
163views Database» more  DOOD 1997»
15 years 11 months ago
On a Declarative Semantics for Web Queries
With the increasing importance of the World Wide Web as an information source, there is a growing interest for integration of Web and database technology. Several Web query languag...
Rainer Himmeröder, Georg Lausen, Bertram Lud&...
CONCUR
2006
Springer
15 years 10 months ago
A Complete Axiomatic Semantics for the CSP Stable-Failures Model
Traditionally, the various semantics of the process algebra Csp are formulated in denotational style. For many Csp models, e.g., the traces model, equivalent semantics have been gi...
Yoshinao Isobe, Markus Roggenbach
ECAI
2006
Springer
15 years 10 months ago
Towards ACL Semantics Based on Commitments and Penalties
The importance of defining a standard framework for agent communication languages (ACL) with a simple, clear, and a verifiable semantics has been widely recognized. This paper pro...
Leila Amgoud, Florence Dupin de Saint-Cyr