13436 search results - page 148 / 2688 » e |
101
Voted
JSSPP
2000
Springer
15 years 8 months ago
2000
Springer
160
click to vote
IAT
2009
IEEE
15 years 8 months ago
2009
IEEE
—Users increasingly manage their home and work collaborations by exploiting online applications. However, they have to deal with a fragmented view of their workspaces, because ea...
178
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
In the last 10 years several approaches and technologies other than MAS (such as Web services and Grid computing) have emerged, with the support of the industry, providing their o...
137
click to vote
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
We present a tool for parallel shared-memory enumerative LTL model-checking and reachability analysis. The tool is based on distributed-memory algorithms reimplemented specifically...
136
click to vote
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we present an autonomous and scalable WSMO-based methodology to describe quality of service (QoS) and geographic features of e-services in a peer-to-peer based envir...