1619 search results - page 271 / 324 » Structure in the Space of Value Functions |
142
Voted
HICSS
2008
IEEE
16 years 7 days ago
2008
IEEE
The Service-Oriented Architecture (SOA) paradigm promises to enable software vendors to compose software systems using services purchased from various suppliers. In this paper, we...
160
click to vote
ISVLSI
2007
IEEE
16 years 2 days ago
2007
IEEE
Abstract— Time-to-Market plays a central role on System-ona-Chip (SoC) competitiveness and the quality of the final product is a matter of concern as well. As SoCs complexity in...
173
click to vote
LFCS
2007
Springer
15 years 12 months ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
157
Voted
ADBIS
2003
Springer
15 years 11 months ago
2003
Springer
Let a tuple of n objects obeying a query graph (QG) be called the n-tuple. The “Ddistance-value” of this n-tuple is the value of a linear function of distances of the n objects...
161
Voted
PCI
2001
Springer
15 years 10 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...