8828 search results - page 167 / 1766 » Formal methods in practice |
249
click to vote
LOGCOM
1998
15 years 4 months ago
1998
Perhaps the most successful agent architectures, and certainly the best known, are those based on the Belief-Desire-Intention (BDI) framework. Despite the wealth of research that ...
133
click to vote
DFT
2009
IEEE
15 years 11 months ago
2009
IEEE
Pre-fabrication design verification and post-fabrication chip testing are two important stages in the product realization process. These two stages consume a large part of resourc...
132
click to vote
SIGSOFT
2001
ACM
16 years 5 months ago
2001
ACM
Most quality and software process improvement frameworks emphasize written (i.e. formal) documentation to convey recommended work practices. However, there is considerable skeptic...
233
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We present a formalization of the implementation of generics in the .NET Common Language Runtime (CLR), focusing on two novel aspects of the implementation: mixed specialization a...
126
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
Optical systems are becoming increasingly important as they tend to resolve many bottlenecks in the present age communications and electronics. Some common examples include their u...