860 search results - page 140 / 172 » A Process Algebra Based Verification of a Production System |
CLEIEJ
2007
13 years 7 months ago
2007
Framework based application development is increasingly being adopted by software organizations. Frameworks provide reuse of both software design and code, and supply more trustab...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
This paper approaches the issue of coordination of highly autonomous Automated Guided Vehicles (AGVs) working on an automated factory. These vehicles are used for goods delivery t...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
The increasing complexity of configurable software systems creates a need for more intelligent sampling mechanisms to detect and locate failure-inducing dependencies between confi...
VLSID
2002
IEEE
14 years 8 months ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
COMPSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
Access control is one of the most fundamental and widely used security mechanisms. Access control mechanisms control which principals such as users or processes have access to whi...