754 search results - page 18 / 151 » Automated Model Selection Using Context-Dependent Behaviors |
85
Voted
ECMDAFA
2010
Springer
15 years 4 months ago
2010
Springer
OMG’s SPEM – by means of its (semi-)formal notation – allows for a detailed description of development processes and methodologies, but can only be used for a rather coarse d...
WWW
2002
ACM
16 years 11 days ago
2002
ACM
HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...
106
click to vote
SIGSOFT
2009
ACM
16 years 13 days ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
AGI
2008
15 years 1 months ago
2008
Artificial Intelligence deals with the automated simulation of human intelligent behavior. Various aspects of human faculties are tackled using computational models. It is clear th...
GECCO
2008
Springer
15 years 24 days ago
2008
Springer
Increasingly, high-assurance applications rely on autonomic systems to respond to changes in their environment. The inherent uncertainty present in the environment of autonomic sy...