2688 search results - page 405 / 538 » A formal semantics for P3P |
159
click to vote
EMSOFT
2005
Springer
16 years 20 hour 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...
174
click to vote
EMSOFT
2005
Springer
16 years 20 hour 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...
149
click to vote
FASE
2005
Springer
16 years 17 hour 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...
190
click to vote
ICISS
2005
Springer
16 years 5 hour 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...
223
click to vote
ICNC
2005
Springer
16 years 4 hour 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...