2685 search results - page 407 / 537 » A Formal Semantics for SPKI |
155
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
170
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
148
click to vote
FASE
2005
Springer
15 years 12 months ago
2005
Springer
MSC is a visual formalism for specifying the behavior of systems. To obtain implementations for individual processes, the MSC choice construction poses fundamental problems. The be...
186
click to vote
ICISS
2005
Springer
15 years 12 months ago
2005
Springer
Since XML tends to become the main format to exchange data over the Internet, it is necessary to define a security model to control the access to the content of these documents. S...
221
click to vote
ICNC
2005
Springer
15 years 12 months ago
2005
Springer
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...