581 search results - page 22 / 117 » Data enhancement for sharing of ship design models |
128
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
130
click to vote
DSN
2011
IEEE
14 years 1 months ago
2011
IEEE
—Virtualization offers the potential for cost-effective service provisioning. For service providers who make significant investments in new virtualized data centers in support of...
123
click to vote
CAISE
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The paper presents an approach towards executing transactions between enterprises, governmental bodies and banking institutions, based on ERP applications connected over ...
130
Voted
ICCCN
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Packet delay and bandwidth are two important metrics for measuring quality of service (QoS) of Internet services. Traditionally, packet delay differentiation and fair b...
214
click to vote
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
We are experiencing a new Social Web, where people share, communicate, commiserate, and conflict with each other. As evidenced by systems like Wikipedia, twitter, and delicious.co...