780 search results - page 153 / 156 » Compositional Quantitative Reasoning |
EMISA
2006
Springer
14 years 1 days ago
2006
Springer
Abstract: Web service technology offers a promising approach for realizing enterprisewide and cross-organizational business applications. With the Business Process Execution Langua...
GECCO
2006
Springer
14 years 1 days ago
2006
Springer
The effects of neutrality on evolutionary search have been considered in a number of interesting studies, the results of which, however, have been contradictory. Some researchers ...
ICSE
2000
IEEE-ACM
13 years 12 months ago
2000
IEEE-ACM
Separation of concerns has been central to software engineering for decades, yet its many advantages are still not fully realized. A key reason is that traditional modularization ...
ISARCS
2010
13 years 10 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
AGI
2008
13 years 9 months ago
2008
Human brain is exceptionally complex and simple at the same time. Its extremely composite biological structure results itself in human everyday behavior that many people might cons...