1459 search results - page 203 / 292 » Tool Supported Development of Service-Based Systems |
189
Voted
ASPLOS
2012
ACM
13 years 11 months ago
2012
ACM
Despite a burgeoning demand for parallel programs, the tools available to developers working on shared-memory multicore processors have lagged behind. One reason for this is the l...
230
Voted
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
141
click to vote
EICS
2009
ACM
15 years 8 months ago
2009
ACM
Complex and dynamic interaction behaviors in applications such as Virtual Reality (VR) systems are difficult to design and develop. Reasons for this include the complexity and lim...
126
click to vote
ECBS
2007
IEEE
15 years 10 months ago
2007
IEEE
Design patterns document expert design experience in software system development. They have been applied in many existing software systems. However, pattern information is general...
121
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
The Grid and agent communities both develop concepts and mechanisms for open distributed systems, albeit from different perspectives. The Grid community has historically focused o...