Sciweavers

1425 search results - page 235 / 285
» Distributed Development of Complex Software Systems with Obj...
Sort
View
IUI
2000
ACM
15 years 6 months ago
Expression constraints in multimodal human-computer interaction
Thanks to recent scientific advances, it is now possible to design multimodal interfaces allowing the use of speech and pointing out gestures on a touchscreen. However, present sp...
Sandrine Robbe-Reiter, Noelle Carbonell, Pierre Da...
ENVSOFT
2007
157views more  ENVSOFT 2007»
15 years 2 months ago
Assessment of erosion hotspots in a watershed: Integrating the WEPP model and GIS in a case study in the Peruvian Andes
This paper presents a case study in assessment of erosion hotspots in an Andean watershed. To do this, we made use of an interface called Geospatial Modelling of Soil Erosion (GEM...
Guillermo A. Baigorria, Consuelo C. Romero
MA
2000
Springer
114views Communications» more  MA 2000»
15 years 6 months ago
Saving Energy and Providing Value Added Services in Intelligent Buildings: A MAS Approach
In a de-regulated market the distribution utilities will compete with added value for the customer in addition to the delivery of energy. We describe a system consisting of a colle...
Paul Davidsson, Magnus Boman
IPPS
2008
IEEE
15 years 8 months ago
Large-scale experiment of co-allocation strategies for Peer-to-Peer supercomputing in P2P-MPI
High Performance computing generally involves some parallel applications to be deployed on the multiples resources used for the computation. The problem of scheduling the applicat...
Stéphane Genaud, Choopan Rattanapoka
VSTTE
2005
Springer
15 years 8 months ago
Verifying Design with Proof Scores
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
Kokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogat...