4726 search results - page 238 / 946 » Domain Modeling of Software Process Models |
236
click to vote
SIGECOM
2011
ACM
14 years 9 months ago
2011
ACM
In many settings, a group of agents must come to a joint decision on multiple issues. In practice, this is often done by voting on the issues in sequence. In this paper, we model ...
195
click to vote
ISSRE
2003
IEEE
15 years 12 months ago
2003
IEEE
Software development project employs some Quality Control (QC) process to detect and remove defects. The final quality of the delivered software depends on the effort spent on al...
185
click to vote
CISIS
2008
IEEE
16 years 1 months ago
2008
IEEE
The new era of multi-core processing challenges software designers to efficiently exploit the parallelism that is now massively available. Programmers have to exchange the conven...
174
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
165
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
We explore how to support the creation of customized visualizations of ontology instance data through the specification of ontology mappings. We combine technologies from the dis...