197 search results - page 27 / 40 » Model Checking Control Communication of a FACTS Device |
TGC
2005
Springer
14 years 1 months ago
2005
Springer
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acade...
SAC
2000
ACM
13 years 12 months ago
2000
ACM
Linda is a high level communication model which allows agents to communicate via a shared tuple spaces without knowing each other’s identities and without having to arrange for ...
HICSS
2003
IEEE
14 years 25 days ago
2003
IEEE
The aim of this study is to identify factors that improve the performance of integrated supply chains (SCs). We developed the ‘extended strategic alignment model’ based on the ...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— The wireless LAN technology 802.11, also called Wi-Fi, offers high speed wireless Internet access for local area environments. WLANs provide much higher data rates than the mob...
FROCOS
2005
Springer
14 years 1 months ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...