4880 search results - page 304 / 976 » Mechanism Design by Creditability |
134
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
The large gap in the levels at which requirements are specified results in inadequate means for ensuring that business goals are properly supported. Architecture-level requirement...
185
click to vote
MOBISYS
2008
ACM
16 years 6 months ago
2008
ACM
: Railway systems are critical in many regions, and can consist of several tens of thousands of bridges, being used over several decades. It is critical to have a system to monitor...
165
click to vote
SENSYS
2009
ACM
16 years 1 months ago
2009
ACM
Network protocols are typically designed and tested individually. In practice, however, applications use multiple protocols concurrently. This discrepancy can lead to failures fro...
151
click to vote
IV
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper is designed to examine whether metaphor, meaning and perception are sufficiently dealt with in knowledge visualization. This culminates in the following hypothesis: Bec...
204
click to vote
ESOP
2007
Springer
16 years 28 days ago
2007
Springer
We give an overview of a proof-producing compiler which translates recursion equations, defined in higher order logic, to assembly language. The compiler is implemented and valida...