2714 search results - page 296 / 543 » A Service-Oriented Approach for Model Management |
164
click to vote
FMICS
2010
Springer
15 years 4 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
124
click to vote
IJAR
2007
2007
On representation and aggregation of social evaluations in computational trust and reputation models
15 years 4 months ago
Interest for computational trust and reputation models is on the rise. One of the most important aspects of these models is how they deal with information received from other indi...
142
click to vote
CCS
2010
ACM
15 years 11 months ago
2010
ACM
Digital identity and trust management mechanisms play an important role on the Internet. They help users make decisions on trustworthiness of digital identities in online communit...
149
click to vote
EUROMICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
—Current architectures for systems integration provide means for forming agile business processes by manually or dynamically configuring the components. However, a major challeng...
122
click to vote
ICAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Shared computing utilities allocate compute, network, and storage resources to competing applications on demand. An awareness of the demands and behaviors of the hosted...