8828 search results - page 1222 / 1766 » Formal methods in practice |
216
click to vote
GECCO
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. Human-based genetic algorithms are powerful tools for organizational modeling. If we enhance them using chance discovery techniques, we obtain an innovative approach for ...
220
click to vote
SIGCSE
2010
ACM
16 years 16 days ago
2010
ACM
Inspired by the formal code inspection process commonly used in the software industry, we have been exploring the use of pedagogical code reviews (PCRs), in which a team of three ...
187
click to vote
HICSS
2003
IEEE
16 years 16 days ago
2003
IEEE
Over the years, our group, led by Bob Balzer, designed and implemented three domain-specific languages for use by outside people in real situations. The first language described t...
215
click to vote
RTSS
2003
IEEE
16 years 15 days ago
2003
IEEE
Often, data used in on-line decision making (for example, in determining how to react to changes in process behavior, traffic flow control, etc.) is dynamic in nature and hence ...
161
click to vote
GROUP
2003
ACM
16 years 14 days ago
2003
ACM
Software development is typically cooperative endeavor where a group of engineers need to work together to achieve a common, coordinated result. As a cooperative effort, it is esp...