8132 search results - page 1307 / 1627 » Dependability, Abstraction, and Programming |
135
click to vote
ACL
2004
15 years 8 months ago
2004
In this paper we present a methodology for extracting subcategorisation frames based on an automatic LFG f-structure annotation algorithm Penn-II Treebank. We extract abstract syn...
172
Voted
FORTE
2004
15 years 8 months ago
2004
Abstract. We apply the PEPA nets modelling language to modelling a peer-topeer medical informatics application, the FieldCare PDA-based medical records system developed by SINTEF T...
204
click to vote
DBSEC
2001
15 years 8 months ago
2001
: In this paper we introduce a series of reference models for Secure Role-Based Workflow systems. We build our models over the well-known RBAC96 framework. 96 model supports the no...
133
click to vote
ECSCW
2001
15 years 8 months ago
2001
Current application-sharing systems support a single architecture for all collaborations, though different systems support different architectures We have developed a system that s...
165
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
There are many formalism for mobile system specification, but until very recently, there was no satisfactory graphical notation for modelling of such systems. In a previous paper, ...