Sciweavers

1121 search results - page 103 / 225
» Model and Formalism Driven Development of Collaborative Appl...
Sort
View
SIGSOFT
2004
ACM
15 years 7 months ago
Engineering human trust in mobile system collaborations
Rapid advances in wireless networking technologies have enabled mobile devices to be connected anywhere and anytime. While roaming, applications on these devices dynamically disco...
Licia Capra
PDP
2007
IEEE
15 years 8 months ago
Improving the Development Process for CSE Software
Scientific and engineering programming has been around since the beginning of computing, often being the driving force for new system development and innovation. At the same time...
Michael A. Heroux, James M. Willenbring, Michael N...
ENTCS
2007
111views more  ENTCS 2007»
15 years 1 months ago
Reversibility and Models for Concurrency
There is a growing interest in models of reversible computation driven by exciting application areas such as bio-systems and quantum computing. Reversible process algebras RCCS [2...
Iain Phillips, Irek Ulidowski
JOT
2006
113views more  JOT 2006»
15 years 1 months ago
Constraint Validation in Model Compilers
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
László Lengyel, Tihamer Levendovszky...
CCE
2008
15 years 1 months ago
Predictive modeling of ionic permselectivity of porous media
Transport and separation processes in ionic systems located in the porous medium are investigated. The software for the modeling of the combined electroosmotic, migration, diffusi...
Libor Seda, Juraj Kosek