1049 search results - page 131 / 210 » A Document Based Framework for Smart Object Systems |
WSC
1997
13 years 10 months ago
1997
This paper presents an investigation of three simulation packages: VS7, SIMAN/CINEMA IV, and SIMFACTORY II.5. These packages were investigated with regard to their capabilities of...
COMPASS
1994
14 years 1 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
ACS
2008
13 years 9 months ago
2008
Abstract Subobject transformation systems (sts) are proposed as a novel formal framework for the analysis of derivations of transformation systems based on the algebraic, double-pu...
ISDA
2008
IEEE
14 years 3 months ago
2008
IEEE
Mobile Web pre-caching (Web prefetching and caching) is an explication of performance enhancement and storage limitation of mobile devices. In this paper, we present the granulari...
ICOST
2007
Springer
14 years 3 months ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...