1012 search results - page 184 / 203 » Towards Component-Based Software Engineering |
112
click to vote
XPU
2005
Springer
15 years 7 months ago
2005
Springer
The main goal to be answered by this Ph.D. thesis is whether there is a potential for a successful and powerful application of agile methods and related techniques to embedded syst...
141
click to vote
AFP
2004
Springer
15 years 7 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
130
Voted
DAC
2006
ACM
16 years 3 months ago
2006
ACM
Graphics-intensive computer games are no longer restricted to highperformance desktops, but are also available on a variety of portable devices ranging from notebooks to PDAs and ...
112
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
170
click to vote
WOSP
1998
ACM
15 years 6 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...