2367 search results - page 85 / 474 » Harvesting design for an application framework |
154
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
173
click to vote
ICWS
2004
IEEE
15 years 7 months ago
2004
IEEE
Web Services represent an important technology for distributed applications and will replace various other technologies for distributed application development soon. A lot of prob...
187
click to vote
IJCAT
2007
15 years 6 months ago
2007
: The existence of peer-to-peer networks is due to benefits brought by decentralisation of control and distribution of resources. It is expected that the usage of such networks wi...
174
click to vote
INTERNET
2006
15 years 6 months ago
2006
Web services provide abstractions for simplifying integration at lower levels of the interaction stacks, they don't yet help simplify integration at higher abstraction levels ...
152
click to vote
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
The evolution of Web sites towards very dynamic applications makes it necessary to reconsider current Web programming technologies. We believe that Web development would benefit ...