10707 search results - page 1832 / 2142 » Designing executable abstractions |
205
click to vote
FASE
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
171
click to vote
HUC
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. Our goal in this paper is to clearly delineate how households currently manage communication and coordination information; this will provide practitioners and designers w...
190
click to vote
ICANN
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. A real-time, large scale, leaky-integrate-and-fire neural network processor realized using FPGA is presented. This has been designed, as part of a collaborative project,...
195
click to vote
ICAPR
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. Software analysis techniques, and in particular software “design recovery”, have been highly successful at both technical and businesslevel semantic markup of large s...
159
click to vote
ICCSA
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. Multi-user virtual environment (MUVE) systems enable virtual participation in many applications. A MUVE usually is a complex system requiring technologies from 3D graphic...