4476 search results - page 513 / 896 » Modeling software architectures in the Unified Modeling Lang... |
155
click to vote
ECTEL
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, based on recent scientific findings in the fields of neurology, evolutionary psychology and cognitive psychology we propose a software architecture and technology su...
208
click to vote
ARCS
2009
Springer
16 years 1 months ago
2009
Springer
The disparity between microprocessor clock frequencies and memory latency is a primary reason why many demanding applications run well below peak achievable performance. Software c...
173
click to vote
CSR
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we investigate the following two questions: Q1: Do there exist optimal proof systems for a given language L? Q2: Do there exist complete problems for a given promise ...
203
click to vote
WIKIS
2005
ACM
16 years 13 days ago
2005
ACM
Good documentation benefits every software development project, especially large ones, but it can be hard, costly, and tiresome to produce when not supported by appropriate tools...
223
click to vote
ICOODB
2009
15 years 4 months ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...