5550 search results - page 151 / 1110 » Different Approaches to Proof Systems |
152
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
Little guidance and few methods are available to refine a set of software requirements into an architecture satisfying those requirements. Part of the challenge stems from the fac...
202
click to vote
SE
2007
15 years 7 months ago
2007
Abstract: Today’s enterprise applications are based on numerous interrelated components that capture domain-specific, generic or infrastructural functionality. Each component is...
159
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
To date, efforts have been made to enable visually impaired people to gain access to graphics on the Internet. However, these studies only offer a solution for a specific type of ...
157
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
A challenge facing designers of systems on chip (SoC) containing networks on chip (NoC) is to find NoC instances that balance the cost (e.g. area) and performance (e.g. latency an...
176
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
We consider multi-rate peer-to-peer multi-party conferencing applications, where different receivers in the same group can receive videos at different rates using, for example, sc...