860 search results - page 141 / 172 » A Process Algebra Based Verification of a Production System |
PROMISE
2010
13 years 2 months ago
2010
As software has been pervasive and various software projects have been executed since the 1970s, software project management has played a significant role in software industry. Th...
JUCS
2008
13 years 7 months ago
2008
: In order to enhance their global business performance, organizations must be careful with the quality of their information since it is one of their main assets. Analogies to qual...
ICDE
2006
IEEE
14 years 9 months ago
2006
IEEE
Radio Frequency Identification (RFID) applications are set to play an essential role in object tracking and supply chain management systems. In the near future, it is expected tha...
WWW
2003
ACM
14 years 8 months ago
2003
ACM
In this work two distinct metrics are proposed, which aim to quantify the importance of a web page based on the visits it receives by the users and its location within the website...
FMCAD
2008
Springer
13 years 9 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...