1116 search results - page 171 / 224 » An Eclipse-based tool framework for software model managemen... |
137
click to vote
WETICE
2003
IEEE
15 years 10 months ago
2003
IEEE
Knowledge-intensive activities can typically not be modeled sufficiently by classical, static process models and workflows. To enable a process-oriented knowledge management appro...
195
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract— The execution environments For scientific applications have evolved significantly over the years. Vector and parallel architectures have provided significantly faste...
193
click to vote
WOSP
1998
ACM
15 years 9 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...
141
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
141
click to vote
ICSE
2004
IEEE-ACM
16 years 4 months ago
2004
IEEE-ACM
Connectors and connector wrappers explicitly specify the protocol of interaction among components and afford the reusable application of extra-functional behaviors, such as reliabi...