2513 search results - page 285 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
102
Voted
ICST
2008
IEEE
15 years 7 months ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...
102
click to vote
COOPIS
2003
IEEE
15 years 6 months ago
2003
IEEE
Agent-based approaches in application development seem to meet the requirements of adaptability, scalability, decentralization, and flexibility imposed by complex software systems....
119
click to vote
CEEMAS
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. In this paper a modelling approach to the dynamics within a multiagent organisation is presented. A declarative, executable temporal modelling language for organisation d...
96
Voted
ECOOP
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. This paper introduces the concepts of wide classes and widening as extensions to the object model of class-based languages such as Java and Smalltalk. Widening allows an ...
116
Voted
HPCA
1996
IEEE
15 years 5 months ago
1996
IEEE
Shared virtual memory is a software technique to provide shared memory on a network of computers without special hardware support. Although several relaxed consistency models and ...