4476 search results - page 877 / 896 » A flexible framework for engineering |
224
Voted
PPDP
2005
Springer
16 years 7 days ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
185
click to vote
UML
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development. Reliability is an ...
184
click to vote
WINE
2005
Springer
16 years 7 days ago
2005
Springer
This paper takes the first steps towards designing incentive compatible mechanisms for hierarchical decision making problems involving selfish agents. We call these Stackelberg p...
192
click to vote
UIST
2004
ACM
16 years 5 days ago
2004
ACM
This paper presents an approach for tracking paper documents on the desk over time and automatically linking them to the corresponding electronic documents using an overhead video...
161
click to vote
CAISE
2004
Springer
16 years 4 days ago
2004
Springer
This paper describes the evolution and the results of the research work carried out by the IRIS group in the field of enterprise integration. This research work began with the ARD...