2685 search results - page 407 / 537 » A Formal Semantics for SPKI |
174
Voted
EMSOFT
2005
Springer
16 years 15 days 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...
186
Voted
EMSOFT
2005
Springer
16 years 15 days 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...
162
Voted
FASE
2005
Springer
16 years 15 days 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...
207
click to vote
ICISS
2005
Springer
16 years 14 days 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...
237
Voted
ICNC
2005
Springer
16 years 14 days 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...