15155 search results - page 2810 / 3031 » System Software |
168
click to vote
FOSSACS
2005
Springer
16 years 1 days ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
148
click to vote
FPL
2005
Springer
16 years 1 days ago
2005
Springer
This paper describes a method based on polynomial approximation for transferring ROM resources used in FPGA designs to multiplication and addition operations. The technique can be...
187
click to vote
FSTTCS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Message sequence charts (MSCs) are commonly used to specify interactions between agents in communicating systems. Their visual nature makes them attractive for describing...
163
click to vote
FSTTCS
2005
Springer
16 years 1 days ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
178
click to vote
ICESS
2005
Springer
16 years 20 hour ago
2005
Springer
Since IPv6 has more benefits over IPv4, the development and deployment of the IPv6 protocol-based products are currently taking place and the migration of IPv4 to IPv6 has also be...