13489 search results - page 117 / 2698 » Self-migration of operating systems |
136
Voted
FASE
2004
Springer
15 years 8 months ago
2004
Springer
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
168
Voted
DAMON
2006
Springer
15 years 8 months ago
2006
Springer
A new trend in processor design is increased on-chip support for multithreading in the form of both chip multiprocessors and simultaneous multithreading. Recent research in databa...
142
Voted
APSEC
2006
IEEE
15 years 6 months ago
2006
IEEE
Almost methods in embedded software modeling take software architecture as one of the crucial parts of the design process. Since a principal role of embedded software is the inter...
154
click to vote
CLIMA
2009
15 years 2 months ago
2009
This paper proposes an operational semantics for BDI modules that can be incorporated in multi-agent programming languages. The introduced concept of modules facilitates the implem...
121
click to vote
CCS
1998
ACM
15 years 9 months ago
1998
ACM
Attacks on servers that provide anonymity generally fall into two categories: attempts to expose anonymous users and attempts to silence them. Much existing work concentrates on w...