2205 search results - page 144 / 441 » Mutation Operators for Specifications |
BIS
2009
13 years 10 months ago
2009
The field of Semantic Business Process Management (SBPM) has refuelled interest in using ontologies for the representation of the static and dynamic aspects of an enterprise and va...
IAJIT
2008
13 years 9 months ago
2008
Abstract: State-of-the-art supply chain management systems can be obtained from the supply chain operations referencemodel for business applications, advancement and practices. Pro...
JOCN
2010
13 years 7 months ago
2010
■ How cognitive control is recruited and implemented has become a major focus of researchers in cognitive psychology and neuroscience. Current theories posit that cognitive cont...
CSC
2010
13 years 7 months ago
2010
Correlation matrices are ubiquitous throughout signal processing, networking and in many areas of science. However, our study of the literature found that there is limited research...
AAI
2010
13 years 4 months ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...