1728 search results - page 209 / 346 » Formal Modeling of Process Migration |
115
click to vote
IFL
2001
Springer
15 years 5 months ago
2001
Springer
Map- and fold-like skeletons are a suitable abstractions to guide parallel program execution in functional array processing. However, when it comes to achieving high performance, i...
100
Voted
SP
1997
IEEE
15 years 5 months ago
1997
IEEE
The computer industry is increasingly dependent on open architectural standards for their competitive success. This paper describes a new approach to secure system design in which...
102
Voted
FTRTFT
1994
Springer
15 years 4 months ago
1994
Springer
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...
99
Voted
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
Existing approaches to knowledge representation and reasoning in the context of open systems either deal with "objective" knowledge or with beliefs. In contrast, there ha...
IFM
2000
Springer
15 years 4 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...