5810 search results - page 205 / 1162 » An Approach to Programming Based on Concepts |
191
click to vote
ACMICEC
2005
ACM
15 years 12 months 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...
205
click to vote
CC
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
148
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This work is concerned with the problem of characterizing and computing probabilistic bisimulations of diffusion processes. A probabilistic bisimulation relation between two su...
194
click to vote
NDSS
1999
IEEE
15 years 10 months ago
1999
IEEE
Anonymity of ballots in electronic voting schemes usually relies on the existence of some kind of anonymous channel between voters and ballot collecting authorities. Currently, th...
228
click to vote
WAC
2004
Springer
15 years 11 months ago
2004
Springer
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...