13383 search results - page 2413 / 2677 » Abstractions from proofs |
185
Voted
GBRPR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper proposes an expert peering system for information exchange. Our objective is to develop a real-time search engine for an online community where users can ask e...
124
Voted
HPCC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract--Transactional Memory (TM) is an emerging technology which promises to make parallel programming easier. However, to be efficient, underlying TM system should protect only...
146
Voted
COOPIS
2004
IEEE
15 years 7 months ago
2004
IEEE
Abstract. QoS-aware distributed applications such as certain Multimedia and Ubiquitous Computing applications can benefit greatly from the provision of QoS guarantees from the unde...
132
Voted
BPM
2006
Springer
15 years 7 months ago
2006
Springer
Service Science is a new term for a new paradigm which aims at the solution of an obvious problem: How to make the increasing fusion of business and IT successful in a dynamically ...
141
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we analyse some methodological concerns that have to be faced in a design flow which contains automatic synthesis phases from high-level, system descriptions. In par...