6794 search results - page 751 / 1359 » Semantics of Visual Languages |
229
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
Bulk Synchronous Parallel ML (BSML) is an extension of the functional language Objective Caml to program Bulk Synchronous Parallel (BSP) algorithms. It is deterministic, deadlock ...
174
click to vote
ICITA
2005
IEEE
16 years 24 days ago
2005
IEEE
Security protocols are indispensable in secure communication. We give an operational semantics of security protocols in terms of a Prolog-like language. With this semantics, we ca...
218
click to vote
ACMICEC
2005
ACM
16 years 23 days ago
2005
ACM
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...
197
click to vote
OTM
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. Due to the inherent difficulties associated with manual ontology building, knowledge acquisition and reuse are often seen as methods that can make this tedious process ea...
201
click to vote
UM
2005
Springer
16 years 20 days ago
2005
Springer
This paper improves a recently-presented approach to Web Personalization, named Community Web Directories, which applies personalization techniques to Web Directories. The Web dire...