4418 search results - page 499 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
178
click to vote
KI
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
182
click to vote
RECONFIG
2009
IEEE
16 years 1 months ago
2009
IEEE
—We envision that future FPGA will use a hardwired network on chip (HWNoC) [14] as a unified interconnect for functional communications (data and control) as well as configurat...
174
click to vote
ISWC
2000
IEEE
15 years 11 months ago
2000
IEEE
If a wearable device can register what the wearer is currently doing, it can anticipate and adjust its behavior to avoid redundant interaction with the user. However, the relevanc...
167
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Programmers and users of compute intensive scientific applications often do not want to (or even cannot) code load balancing and fault tolerance into their programs. The PBEAM syst...
167
Voted
WISTP
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. The distribution of virtual goods like multimedia data relies on the trustworthiness of the distribution system. Recent concepts for the distribution based on peer to pee...