3005 search results - page 358 / 601 » Logical Information Systems: from Taxonomies to Logics |
171
click to vote
WSC
2000
15 years 8 months ago
2000
Designing semiconductor cluster tool systems is a complicated task due to the nature of automatic operations and various configurations of modules and task response priorities of ...
159
click to vote
IJCIM
2002
15 years 6 months ago
2002
This paper presents a new distributed real-time control architecture for flexibly automated production systems. The modelling assumptions underlying the design en by, and abstract,...
172
click to vote
FGCN
2008
IEEE
16 years 1 months ago
2008
IEEE
The home network system (HNS, for short) is comprised of networked home appliances, which achieves various value-added services for home users. Assuring safety of the HNS and the ...
276
click to vote
IHI
2012
14 years 2 months ago
2012
Regulations and policies regarding Electronic Health Information (EHI) are increasingly complex. Federal and State policy makers have called for both education to increase stakeho...
178
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...