3256 search results - page 504 / 652 » Applications of Formal Methods to System Design and Verifica... |
141
Voted
FPL
2009
Springer
15 years 10 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...
159
click to vote
DATE
2002
IEEE
15 years 10 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...
154
Voted
ACMICEC
2008
ACM
15 years 7 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...
182
click to vote
MOBIQUITOUS
2008
IEEE
15 years 11 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...
143
Voted
WWW
2005
ACM
16 years 6 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...