4469 search results - page 507 / 894 » A Language for Role Specifications |
199
click to vote
VLDB
1997
ACM
15 years 11 months ago
1997
ACM
The paper discusses the issue of views in the Web context. We introduce a set of languages for managing and restructuring data coming from the World Wide Web. We present a specifi...
234
click to vote
ECOOP
1994
Springer
15 years 11 months ago
1994
Springer
There is an undeniable demand to capture already proven and matured object-oriented design so that building reusable object-oriented software does not always have to start from scr...
180
click to vote
ICALP
1990
Springer
15 years 11 months ago
1990
Springer
We show how (now familiar) hierarchical representations of (convex) polyhedra can be used to answer various separation queries efficiently (in a number of cases, optimally). Our e...
150
click to vote
IFIP
1989
Springer
15 years 10 months ago
1989
Springer
ÐBSR (Broadcasting with Selective Reduction) is a PRAM more powerful than any CRCW PRAM. In order to extend the Broadcast Instruction of BSR and make it more useful for a large cl...
167
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
The aim of this work is to describe a tool (Spi2Java) that automatically generates Java code implementing cryptographic protocols described in the formal specification language sp...