4048 search results - page 229 / 810 » Design Science, Engineering Science and Requirements Enginee... |
187
click to vote
JAPLL
2008
15 years 7 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...
171
Voted
BIOADIT
2004
Springer
16 years 13 days 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...
195
Voted
CSCW
2010
ACM
16 years 3 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...
181
click to vote
OOPSLA
2005
Springer
16 years 15 days 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...
200
Voted
VLSID
2008
IEEE
16 years 1 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 ...