2586 search results - page 241 / 518 » Automatic Abstraction for Congruences |
169
click to vote
DASFAA
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. The XML has undoubtedly become a standard for data representation and manipulation. But most of XML documents are still created without the respective description of its ...
167
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Simulation of transaction level models (TLMs) is an established embedded systems design technique. Its use cases include virtual prototyping for early software development, platfo...
164
click to vote
DSN
2008
IEEE
16 years 1 months ago
2008
IEEE
Soft state in the middle tier is key to enabling scalable and responsive three tier service architectures. While softstate can be reconstructed upon failure, replicating it across...
158
click to vote
HAPTICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. The apparent mass of haptic device end-effector depends on its position inside the workspace. This paper presents a recursive algorithm to detect effective direction of g...
186
click to vote
ICPADS
2008
IEEE
16 years 1 months ago
2008
IEEE
Traditional sensor network deployments consisted of fixed infrastructures and were relatively small in size. More and more, we see the deployment of ad-hoc sensor networks with h...