Sciweavers

15253 search results - page 2420 / 3051
» Integer-Programming Software Systems
Sort
View
205
Voted
PERCOM
2004
ACM
16 years 7 months ago
Programming Pervasive and Mobile Computing Applications with the TOTA Middleware
Pervasive computing calls for suitable middleware and programming models to deal with large software systems dived in dynamic mobile network environments. Here we present the prog...
Marco Mamei, Franco Zambonelli
HICSS
2010
IEEE
162views Biometrics» more  HICSS 2010»
16 years 2 months ago
Risk-Based Decision Support in Service Value Networks
The current trend towards dynamic and highly scalable service provisioning fosters the rise of Software as a Service (SaaS) platforms and so called Compute Clouds. The on-demand p...
Wibke Michalk, Benjamin Blau, Jochen Stö&szli...
TEI
2010
ACM
157views Hardware» more  TEI 2010»
16 years 2 months ago
Relief: a scalable actuated shape display
Relief is an actuated tabletop display, which is able to render and animate three-dimensional shapes with a malleable surface. It allows users to experience and form digital model...
Daniel Leithinger, Hiroshi Ishii
CC
2010
Springer
243views System Software» more  CC 2010»
16 years 2 months ago
Optimizing Matlab through Just-In-Time Specialization
Abstract. Scientists are increasingly using dynamic programming languages like Matlab for prototyping and implementation. Effectively compiling Matlab raises many challenges due t...
Maxime Chevalier-Boisvert, Laurie J. Hendren, Clar...
FOSSACS
2010
Springer
16 years 2 months ago
Parameterised Multiparty Session Types
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
Nobuko Yoshida, Pierre-Malo Deniélou, Andi ...
« Prev « First page 2420 / 3051 Last » Next »