10038 search results - page 1954 / 2008 » Model Checking for Managers |
ISCA
2006
IEEE
14 years 4 months ago
2006
IEEE
Microprocessor design is undergoing a major paradigm shift towards multi-core designs, in anticipation that future performance gains will come from exploiting threadlevel parallel...
SKG
2006
IEEE
14 years 3 months ago
2006
IEEE
With the rapid evolution of web technology and Internet, the mathematical web has emerged as a new research trend, which changes the traditional manner of mathematical scientific ...
TAICPART
2006
IEEE
14 years 3 months ago
2006
IEEE
One of the key roles of any information system is to enforce the business rules and policies set by the owning organisation. As for any important functionality, it is necessary to...
ACMICEC
2006
ACM
14 years 3 months ago
2006
ACM
Supply chains are a central element of today’s global economy. Existing management practices consist primarily of static interactions between established partners. Global compet...
CONEXT
2006
ACM
14 years 3 months ago
2006
ACM
Network traffic matrices are important for various network planning and management operations. Previous work for estimation of traffic matrices is based on either link load record...