7209 search results - page 456 / 1442 » Software Engineering for Multi-Agent Systems |
130
Voted
CACM
2010
15 years 28 days ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
123
Voted
ICSM
2002
IEEE
15 years 8 months ago
2002
IEEE
Software is multidimensional but the tools that support it are not. The lack of tool support causes the software artifacts representing different dimensions to evolve independentl...
131
click to vote
INFSOF
2008
15 years 3 months ago
2008
Since a number of years agent technology is considered one of the most innovative technologies for the development of distributed software systems. While not yet a mainstream appr...
143
Voted
WSC
1997
15 years 4 months ago
1997
In response to the expressed needs of MedModel users, PROMODEL Corporation has made substantial improvements in its MedModel healthcare simulation software. Beginning with its inc...
125
Voted
EMSOFT
2010
Springer
15 years 1 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...