7526 search results - page 287 / 1506 » The Design and Implementation of the A2QM3 System |
156
click to vote
GC
2004
Springer
16 years 3 days ago
2004
Springer
We describe the architecture and the implementation of the MIKADO software framework, that we call IMC (Implementing Mobile Calculi). The framework aims at providing the programmer...
146
Voted
ECEH
2007
15 years 8 months ago
2007
: In Queensland, access to specialist and sub-specialist paediatric care outside of major metropolitan centres is very limited. We describe our approach to the design and developme...
174
click to vote
NSPW
2006
ACM
16 years 20 days ago
2006
ACM
What would a PKI look like if it were designed for implementability and deployability rather than strict adherence to a particular theoretical or mathematical model? This paper pr...
206
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
179
click to vote
ICECCS
2005
IEEE
16 years 10 days ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...