3362 search results - page 137 / 673 » A definition of subjective possibility |
184
Voted
CISC
2005
Springer
16 years 19 days ago
2005
Springer
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...
200
click to vote
EMSOFT
2005
Springer
16 years 16 days ago
2005
Springer
One major challenge in System-on-Chip (SoC) design is the definition and design of interfaces between hardware and software. Traditional ASIC designer and software designer model ...
210
click to vote
ACMSE
2004
ACM
16 years 16 days ago
2004
ACM
Eclipse is a Java integrated development environment (IDE) and tool integration platform that offers numerous extension points for customization through a plug-in architecture. Th...
179
click to vote
MUM
2004
ACM
16 years 16 days ago
2004
ACM
While peer-to-peer (P2P) has emerged as a new hot communication concept among the Internet users, mobile usage of P2P applications is still taking its first steps. This article fi...
170
Voted
WOSS
2004
ACM
16 years 15 days ago
2004
ACM
Self-adaptive software continually evaluates and modifies its own behavior to meet changing demands. One of the key issues in constructing such software is that of planning when a...