3385 search results - page 602 / 677 » Language, Logic, and the Brain |
DAC
2002
ACM
14 years 10 months ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
SIGSOFT
2001
ACM
14 years 9 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
The combined efforts of human volunteers have recently extracted numerous facts from Wikipedia, storing them as machine-harvestable object-attribute-value triples in Wikipedia inf...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
Data-driven web applications are usually structured in three tiers with different programming models at each tier. This division forces developers to manually partition applicatio...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
The mantra of every experienced web application developer is the same: thou shalt separate business logic from display. Ironically, almost all template engines allow violation of ...