137 search results - page 20 / 28 » Distributed Cooperative Formal Methods Tools |
DEBS
2010
ACM
13 years 11 months ago
2010
ACM
Today’s organisations require techniques for automated transformation of the large data volumes they collect during their operations into operational knowledge. This requirement...
SAS
2007
Springer
14 years 1 months ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
KCAP
2005
ACM
14 years 1 months ago
2005
ACM
The paper reports on an exploratory case study where an organizational learning methodology was used to support knowledge sharing in a medium-sized distributed software developmen...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper addresses issues pertaining to the necessity of utilizing formal verification methods in the design of protocols for peer-to-peer multimedia systems. These systems req...
CHI
2010
ACM
14 years 2 months ago
2010
ACM
As technology for children becomes more mobile, social, and distributed, our design methods and techniques must evolve to better explore these new directions. This paper reports o...