2000 search results - page 299 / 400 » Program Transformation and Proof Transformation |
166
click to vote
IPCCC
2007
IEEE
16 years 16 days ago
2007
IEEE
Tuning the performance of applications requires understanding the interactions between code and target architecture. This paper describes a performance modeling approach that not ...
163
click to vote
IFIP
2007
Springer
16 years 12 days ago
2007
Springer
The paper describes a conceptual framework for model-driven development based on concise application of UML and modeling tool functionality. A case study of modeling software for l...
171
click to vote
KI
2007
Springer
16 years 11 days ago
2007
Springer
We propose a novel approach to experience collection for autonomous service robots performing complex activities. This approach enables robots to data for many learning problems at...
150
click to vote
UM
2007
Springer
16 years 10 days ago
2007
Springer
Predictive user models often require a phase of effortful supervised training where cases are tagged with labels that represent the status of unobservable variables. We formulate a...
140
click to vote
CSFW
2006
IEEE
16 years 9 days ago
2006
IEEE
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often su...