505 search results - page 31 / 101 » Global Model Checking of Ordered Multi-Pushdown Systems |
224
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
In many distributed environments, the primary function of monitoring software is to detect anomalies, that is, instances when system behavior deviates substantially from the norm....
105
click to vote
IFIP
2007
Springer
15 years 6 months ago
2007
Springer
The operation of global manufacturing network is challenging due to the complexity in product and information flow, diversity in sites, localization and processes and the informati...
DATE
2008
IEEE
15 years 6 months ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
EOR
2008
14 years 12 months ago
2008
This paper presents a hybrid neuro-fuzzy methodology to identify appropriate global logistics (GL) operational modes used for global supply chain management. The proposed methodol...
106
click to vote
IWSOS
2009
Springer
15 years 6 months ago
2009
Springer
Self-organization, whereby through purely local interactions, global order and structure emerge, is studied broadly across many fields of science, economics, and engineering. We ...