1585 search results - page 225 / 317 » A framework for computer-aided validation |
105
click to vote
WCRE
2008
IEEE
15 years 10 months ago
2008
IEEE
Integrative levels of program comprehension describe the evolution of our knowledge about a program from low-level program elements through successive and higher orders of knowled...
131
Voted
WECWIS
2008
IEEE
15 years 10 months ago
2008
IEEE
Today’s development and provision of commercially used Web services has shifted from providing static and predefined functionality to highly configurable services that can be ...
135
Voted
AIMSA
2008
Springer
15 years 10 months ago
2008
Springer
Abstract This paper attempts to define an emotional model for virtual agents that behave autonomously in social worlds. We adopt shallow modeling based on the decomposition of the...
121
click to vote
BDIM
2007
IEEE
15 years 10 months ago
2007
IEEE
Business–driven IT management (BDIM) offers a promising approach to managing enterprise IT infrastructure and services efficiently and to improving business results at the same ...
109
click to vote
BIBE
2007
IEEE
15 years 10 months ago
2007
IEEE
Alternative splicing is a highly important process in many eukaryotic organisms, but surprisingly little is known about its regulation. Often, this process involves cis-regulatory ...