Sciweavers

15155 search results - page 2355 / 3031
» System Software
Sort
View
ICDE
2008
IEEE
118views Database» more  ICDE 2008»
16 years 8 months ago
XML processing in DHT networks
We study the scalable management of XML data in P2P networks based on distributed hash tables (DHTs). We identify performance limitations in this context, and propose an array of t...
Serge Abiteboul, Ioana Manolescu, Neoklis Polyzoti...
TFM
2009
Springer
136views Formal Methods» more  TFM 2009»
16 years 2 months ago
On Teaching Formal Methods: Behavior Models and Code Analysis
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
Jan Kofron, Pavel Parizek, Ondrej Sery
IPPS
2007
IEEE
16 years 1 months ago
FEMS: An Adaptive Finite Element Solver
In this paper we investigate how to obtain high-level adaptivity on complex scientific applications such as Finite Element (FE) simulators by building an adaptive version of thei...
Alberto Bertoldo
164
Voted
CSCW
2006
ACM
16 years 1 months ago
Draw-together: graphical editor for collaborative drawing
Collaborative object-based graphical editors offer good support for design teams to work concurrently on their design. However, not much research has been done on maintaining cons...
Claudia-Lavinia Ignat, Moira C. Norrie
IBPRIA
2009
Springer
16 years 1 days ago
Face-to-Face Social Activity Detection Using Data Collected with a Wearable Device
In this work the feasibility of building a socially aware badge that learns from user activities is explored. A wearable multisensor device has been prototyped for collecting data ...
Pierluigi Casale, Oriol Pujol, Petia Radeva
« Prev « First page 2355 / 3031 Last » Next »