Sciweavers

294 search results - page 22 / 59
» Introducing Executable Product Models for the Service Indust...
Sort
View
FM
1997
Springer
258views Formal Methods» more  FM 1997»
13 years 11 months ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert
PDP
2006
IEEE
14 years 1 months ago
Probabilistic and Dynamic Optimization of Job Partitioning on a Grid Infrastructure
Production grids have a potential for parallel execution of a very large number of tasks but also introduce a high overhead that significantly impacts the execution of short task...
Tristan Glatard, Johan Montagnat, Xavier Pennec
SAC
2005
ACM
14 years 27 days ago
[a]C#: C# with a customizable code annotation mechanism
Reflective programming is becoming popular due to the increasing set of dynamic services provided by execution environments like JVM and CLR. With custom attributes Microsoft int...
Walter Cazzola, Antonio Cisternino, Diego Colombo
APSCC
2008
IEEE
14 years 1 months ago
A Tale of Clouds: Paradigm Comparisons and Some Thoughts on Research Issues
Cloud computing is an emerging computing paradigm. It aims to share data, calculations, and services transparently among users of a massive grid. Although the industry has started...
Lijun Mei, Wing Kwong Chan, Tsun-Him Tse
CORR
2007
Springer
202views Education» more  CORR 2007»
13 years 7 months ago
Designing a Virtual Manikin Animation Framework Aimed at Virtual Prototyping
: In the industry, numerous commercial packages provide tools to introduce, and analyse human behaviour in the product's environment (for maintenance, ergonomics...), thanks t...
Antoine Rennuit, Alain Micaelli, Claude Andriot, F...