3483 search results - page 336 / 697 » Using Subject-Oriented Modeling to Develop Jini Applications |
163
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
207
click to vote
DSRT
2005
IEEE
16 years 7 days ago
2005
IEEE
Understanding the characteristics of information flow in large scale real-time distributed virtual simulations (RT-DVS) is important for the development of network services that a...
253
click to vote
GIS
2010
ACM
15 years 1 months ago
2010
ACM
It is now common for video; real-time and collected, mobile and static, to be georeferenced and stored in large archives for users of expert systems to access and interact with. I...
167
click to vote
WSCG
2000
15 years 8 months ago
2000
Many engineering disciplines can profitably use large high-resolution geometric models whose computational requirements exceed current computer hardware capacities. This paper pre...
183
click to vote
DATE
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper proposes a novel HW/SW co-simulation approach that minimizes the impact on software designers. We propose a SystemC-based system that enables the software team to test ...