284 search results - page 48 / 57 » Formal Foundation for Pattern-Based Modelling |
78
Voted
IWPC
2005
IEEE
15 years 6 months ago
2005
IEEE
Approximately 70% of the source code of a software system consists of identifiers. Hence, the names chosen as identifiers are of paramount importance for the readability of comp...
89
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
Multi-agent systems are now being considered a promising architectural approach for building Internet-based applications. One of the most critical and important aspects of softwar...
105
click to vote
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
There has been substantial progress with formal models for sequential decision making by individual agents using the Markov decision process (MDP). However, similar treatment of m...
104
Voted
CRYPTO
2003
Springer
15 years 5 months ago
2003
Springer
Can you guarantee secrecy even if an adversary can eavesdrop on your brain? We consider the problem of protecting privacy in circuits, when faced with an adversary that can access ...
117
click to vote
ISCC
2002
IEEE
15 years 5 months ago
2002
IEEE
Mobile ad hoc networking offers convenient infrastructureless communication over the shared wireless channel. However, the nature of ad hoc networks makes them vulnerable to secur...