2613 search results - page 359 / 523 » Proposal for Tools Supporting Component Based Programming |
157
click to vote
AISC
2006
Springer
15 years 10 months ago
2006
Springer
In program analysis and verification, there are some constraints that have to be processed repeatedly. A possible way to speed up the processing is to find some relations among the...
185
click to vote
RV
2010
Springer
15 years 4 months ago
2010
Springer
Software transactional memories (STMs) promise simple and efficient concurrent programming. Several correctness properties have been proposed for STMs. Based on a bounded conflict ...
203
click to vote
SSPR
2010
Springer
15 years 5 months ago
2010
Springer
Many approaches to learning classifiers for structured objects (e.g., shapes) use generative models in a Bayesian framework. However, state-of-the-art classifiers for vectorial d...
194
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
To promote the Model-Based software engineering development of user interfaces, this paper proposes a model driven development approach of complex user interface. The approach cap...
245
Voted
IWAN
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents the main concepts of the IST Project FAIN "Future Active IP Networks" [10], a three-year collaborative research project, whose main task is to develo...