Sciweavers

906 search results - page 49 / 182
» Modeling methodology for application development in petroleu...
Sort
View
WSC
2007
15 years 4 months ago
Organising insights into simulation practice
Developments in simulation methodology have been so successful that simulation methods are used in many different domains, and many of these applications are based on discrete eve...
Michael Pidd, Stewart Robinson
SIGMOD
2005
ACM
156views Database» more  SIGMOD 2005»
16 years 2 months ago
Model-driven design of service-enabled web applications
Significant efforts are currently invested in application integration to enable the interaction and composition of business processes of different companies, yielding complex, mul...
Marco Brambilla, Stefano Ceri, Piero Fraternali, R...
ICCAD
1994
IEEE
116views Hardware» more  ICCAD 1994»
15 years 6 months ago
Design of heterogeneous ICs for mobile and personal communication systems
{ Mobile and personal communication systems form key market areas for the electronics industry of the nineties. Stringent requirements in terms of exibility, performance and power...
Gert Goossens, Ivo Bolsens, Bill Lin, Francky Catt...
137
Voted
SOFSEM
2012
Springer
13 years 9 months ago
Recent Challenges and Ideas in Temporal Synthesis
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
Orna Kupferman
PDP
2003
IEEE
15 years 7 months ago
Building Grid MPI Applications from Modular Components
Coupling grid applications developed by different teams requires code modification and high S/W engineering effort. In the Ensemble methodology message passing components are deve...
Yiannis Cotronis