841 search results - page 124 / 169 » A secure architectural description language for agent system... |
168
click to vote
ENTCS
2006
15 years 1 months ago
2006
Conventional approaches to the modeling of autonomous agents and agent communication rely heavily on the ascription of mental properties like beliefs and intentions to the individ...
123
click to vote
FDL
2005
IEEE
15 years 7 months ago
2005
IEEE
Embedded system designs and simulations become tedious and time consuming due to the complexity of modern applications. Thus, languages allowing high level description, such as Sy...
129
click to vote
ICMCS
1994
IEEE
15 years 6 months ago
1994
IEEE
Advanced applications in fields like electronic publishing and telecooperation face the problem of handling multimedia information. Conventional database systems do not offer adeq...
122
click to vote
CODES
2006
IEEE
15 years 3 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
115
click to vote
CARDIS
2004
Springer
15 years 7 months ago
2004
Springer
: One major challenge for digitally signing a document is the so called “what you see is what you sign” problem. XML as a meta language for encoding semistructured data offers ...