141 search results - page 22 / 29 » A type system for certified binaries |
JSS
2008
13 years 7 months ago
2008
This article presents the research work that exploits using XML (Extensible Markup Language) to represent different types of information in mobile agent systems, including agent c...
LCTRTS
2010
Springer
13 years 9 months ago
2010
Springer
DSP processors usually provide dedicated address generation units (AGUs) to assist address computation. By carefully allocating variables in the memory, DSP compilers take advanta...
ESORICS
2007
Springer
13 years 11 months ago
2007
Springer
We propose the role-and-relation-based access control (R2 BAC) model for workflow systems. In R2 BAC, in addition to a user's role memberships, the user's relationships w...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
: The separating distance between the transceivers is one of the main factors that affect the quality of the received optical signal as the receiver changes locations in an optical...
CSMR
2003
IEEE
14 years 28 days ago
2003
IEEE
As the age of software systems increases they tend to deviate from their actual design and architecture. It becomes more and more difficult to manage and maintain such systems. We...