766 search results - page 140 / 154 » Detecting modifications in paper documents: a coding approac... |
SIMUTOOLS
2008
13 years 9 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
ICSE
2010
IEEE-ACM
14 years 15 days ago
2010
IEEE-ACM
It is often assumed that developers’ view of their system and its environment is always consistent with everyone else’s; in practice, this assumption can be false, as the deve...
VLSID
2007
IEEE
14 years 8 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
POPL
2006
ACM
14 years 8 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
COMPSAC
2009
IEEE
14 years 13 days ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...