Sciweavers

2741 search results - page 204 / 549
» Engineering Mathematical Knowledge
Sort
View
FECS
2006
123views Education» more  FECS 2006»
15 years 4 months ago
A Student Research Symposium at Texas Christian University - How it has Benefited the Computer Science Department
-- The Fourth (4th ) Annual Student Research Symposium (SRS) for graduate and undergraduate students majoring in science, engineering, and mathematics will be conducted at Texas Ch...
James R. Comer, Tom Nute, Billy Farmer, Lisa J. Bu...
102
Voted
FSTTCS
2008
Springer
15 years 4 months ago
Solvency Games
Abstract. We study the decision theory of a maximally risk-averse investor — one whose objective, in the face of stochastic uncertainties, is to minimize the probability of ever ...
Noam Berger, Nevin Kapur, Leonard J. Schulman, Vij...
143
Voted
COMPSAC
2010
IEEE
15 years 1 months ago
Synchronized Architecture Evolution in Software Product Line Using Bidirectional Transformation
In the long-term evolution of a Software Product Line (SPL), how to ensure the alignment between the reference and application architectures is a critical problem. Existing ad-hoc...
Liwei Shen, Xin Peng, Jiayi Zhu, Wenyun Zhao
135
Voted
ICFEM
2009
Springer
15 years 1 months ago
A Compositional Approach on Modal Specifications for Timed Systems
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, J...
DOCENG
2010
ACM
15 years 24 days ago
Diffing, patching and merging XML documents: toward a generic calculus of editing deltas
This work addresses what we believe to be a central issue in the field of XML diff and merge computation: the mathematical modeling o-called editing deltas and the study of their ...
Jean-Yves Vion-Dury