4048 search results - page 229 / 810 » Design Science, Engineering Science and Requirements Enginee... |
138
click to vote
JAPLL
2008
15 years 4 months ago
2008
Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys th...
118
click to vote
BIOADIT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Biologically inspired approaches to the design of general IT are presently flourishing. Investigating the scientific and historical roots of the tendency will serve to pr...
137
click to vote
CSCW
2010
ACM
16 years 1 months ago
2010
ACM
Issue tracking systems help organizations manage issue reporting, assignment, tracking, resolution, and archiving. Traditionally, it is the Software Engineering community that res...
143
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
iven software product lines combine the abstraction capability of Model Driven Software Development (MDSD) and the variability management capability of Software Product Line Engin...
147
click to vote
VLSID
2008
IEEE
15 years 10 months ago
2008
IEEE
It is well-known that varying architectural, technological and implementation aspects of embedded microprocessors, such as ARM, can produce widely differing performance and power ...