2057 search results - page 304 / 412 » Developing the Designer's Toolkit with Software Comprehensio... |
135
click to vote
ASE
2008
15 years 4 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
116
Voted
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Mashup applications mix and merge content (data and code) from multiple content providers in a user's browser, to provide high-value web applications that can rival the user ...
131
click to vote
CF
2010
ACM
15 years 9 months ago
2010
ACM
Over the past decade, the trajectory to the petascale has been built on increased complexity and scale of the underlying parallel architectures. Meanwhile, software developers hav...
128
Voted
APCCM
2009
15 years 5 months ago
2009
Service-oriented architectures (SOAs) provide the basis of distributed application frameworks where software components are provided as modular and reusable services. Until today ...
125
click to vote
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...