620 search results - page 85 / 124 » Tool support for component-based semantics |
COMPSAC
2009
IEEE
14 years 4 months ago
2009
IEEE
With the ongoing trend towards the globalization of software systems and their development, components in these systems might not only work together, but may end up evolving indep...
IAT
2008
IEEE
14 years 4 months ago
2008
IEEE
Multi-agent systems have proven to be a powerful technology for building complex distributed applications. However, the process of designing, configuring and deploying agent-based...
CACM
2010
13 years 7 months ago
2010
We present Goldilocks, a Java runtime that monitors program executions and throws a DataRaceException when a data race is about to occur. This prevents racy accesses from taking p...
ICFP
2006
ACM
14 years 9 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
SIGADA
2005
Springer
14 years 3 months ago
2005
Springer
Concerns for concurrent systems are not always easy to modularize within single units using traditional programming languages. The concept of aspect orientation can be applied to ...