3256 search results - page 504 / 652 » Applications of Formal Methods to System Design and Verifica... |
FPL
2009
Springer
15 years 2 months ago
2009
Springer
As FPGA-based systems including soft processors become increasingly common, we are motivated to better understand the architectural trade-offs and improve the efficiency of these...
DATE
2002
IEEE
15 years 3 months ago
2002
IEEE
As system integration evolves and tighter design constraints must be met, it becomes necessary to account for the non-ideal behavior of all the elements in a system. For high-spee...
ACMICEC
2008
ACM
14 years 12 months ago
2008
ACM
In this paper, we studied the semantic consistency maintenance issue between heterogeneous contexts, that is, how a firm business process of one e-marketplace can be transformed t...
104
click to vote
MOBIQUITOUS
2008
IEEE
15 years 4 months ago
2008
IEEE
Location-based services in general require information about the position of certain objects. For instance, for a navigation service the position of the user needs to be known. Th...
WWW
2005
ACM
15 years 10 months ago
2005
ACM
Reputation systems have been popular in estimating the trustworthiness and predicting the future behavior of nodes in a large-scale distributed system where nodes may transact wit...