1501 search results - page 200 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
143
click to vote
WSC
2008
15 years 6 months ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
144
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
Service Oriented Architectures are increasingly being used to achieve interoperability among heterogeneous systems. SOAs help developers to integrate different architectures in ord...
139
click to vote
CAV
2001
Springer
15 years 9 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
176
click to vote
KDD
2010
ACM
15 years 8 months ago
2010
ACM
Social tagging systems have become increasingly popular for sharing and organizing web resources. Tag recommendation is a common feature of social tagging systems. Social tagging ...
136
click to vote
CSCW
2008
ACM
15 years 6 months ago
2008
ACM
This article presents a rational model developed under the distributed cognition framework that explains how social tags influence knowledge acquisition and adaptation in explorat...