613 search results - page 9 / 123 » Executable Visual Contracts |
COMPSAC
2007
IEEE
14 years 4 months ago
2007
IEEE
Various program analysis techniques are efficient at discovering failures and properties. However, it is often difficult to evaluate results, such as program traces. ls for abst...
AUSDM
2007
Springer
2007
Springer
An E-Market Framework to Determine the Strength of Business Relationships between Intelligent Agents
14 years 4 months ago
When an agent enters in an e-Market for the first time, it has no historical information that can be used to determine the strength of business relationship with participant agen...
CLOUD
2010
ACM
14 years 2 months ago
2010
ACM
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...
VL
1996
IEEE
14 years 1 months ago
1996
IEEE
Understanding and interpreting a large data source is an important but challenging operation in many technical disciplines. Computer visualization has become a valuable tool to he...
IFM
2009
Springer
14 years 4 months ago
2009
Springer
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...