722 search results - page 40 / 145 » Organizational Abstractions for the Analysis and Design of M... |
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— This paper discusses the design and current capabilities of a new software tool, dVC, capable of simulating planar systems of bodies experiencing unilateral contacts wi...
GROUP
2003
ACM
14 years 2 months ago
2003
ACM
Patterns, which are based on in-depth practical experience, can be instructing for the design of groupware applications as sociotechnical systems. On the basis of a summary of the...
SERP
2004
13 years 10 months ago
2004
Attention to aspect oriented programming (AOP) is rapidly growing as its benefits in large software system development and maintenance are increasingly recognized. However, existin...
SIGMOD
2012
ACM
11 years 11 months ago
2012
ACM
Shark is a research data analysis system built on a novel rained distributed shared-memory abstraction. Shark marries query processing with deep data analysis, providing a unifie...
SIGSOFT
2003
ACM
14 years 10 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...