924 search results - page 51 / 185 » An expressive aspect language for system applications with A... |
POPL
2001
ACM
14 years 9 months ago
2001
ACM
Secure Safe Ambients (SSA) are a typed variant of Safe Ambients [9], whose type system allows behavioral invariants of ambients to be expressed and verified. The most significant a...
FLAIRS
2009
13 years 6 months ago
2009
For certain disable persons unable to communicate, we present a palliative aid which consist of a virtual pictographic keyboard associated to a text processing from a pictographic...
FORTE
2004
13 years 10 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...
GI
2004
Springer
14 years 2 months ago
2004
Springer
: There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML ...
APSEC
2003
IEEE
14 years 2 months ago
2003
IEEE
Despite a growing awareness of security issues in networked computing systems, most development processes used today still do not take security aspects into account. To address th...