2513 search results - page 404 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
119
click to vote
AAMAS
2004
Springer
15 years 11 days ago
2004
Springer
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. The complex interactions of ag...
97
Voted
INFORMATICALT
2002
15 years 5 days ago
2002
Two examples of open-loop differential games are considered in the paper. Starting with simplified dynamic Duel, further it was developed to differential economic Duel modelling pr...
126
click to vote
SCP
2010
14 years 11 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
199
Voted
POPL
2008
ACM
16 years 24 days ago
2008
ACM
Software transactions have received significant attention as a way to simplify shared-memory concurrent programming, but insufficient focus has been given to the precise meaning o...
93
Voted
EMSOFT
2007
Springer
15 years 6 months ago
2007
Springer
Software components are modular and can enable post-deployment update, but their high overhead in runtime and memory is prohibitive for many embedded systems. This paper proposes ...