3771 search results - page 506 / 755 » Subobject Transformation Systems |
150
click to vote
ACTA
2005
15 years 4 months ago
2005
Extending the pi calculus with the session types proposed by Honda et al. allows high-level specifications of structured patterns of communication, such as client-server protocols,...
116
click to vote
JSS
2007
15 years 4 months ago
2007
The paper presents a method to compute performance metrics (response time, sojourn time, throughput) on Unified Modeling Language design. The method starts with UML design annota...
152
click to vote
TWC
2008
15 years 4 months ago
2008
Computationally scalable and accurate estimation, prediction, and simulation of wireless communication channels is critical to the development of more adaptive transceiver algorith...
126
click to vote
CGF
2000
15 years 4 months ago
2000
We present an interactive system for the generation of high quality triangle meshes that allows us to handle hybrid geometry (point clouds, polygons, ...) as input data. In order ...
134
click to vote
ISCI
2000
15 years 4 months ago
2000
This paper discusses a model of quantum associative memory which generalizes the completing associative memory proposed by Ventura and Martinez. Similar to this model, our system ...