128 search results - page 26 / 26 » icse 2007 |
ICSE
2007
IEEE-ACM
14 years 4 months ago
2007
IEEE-ACM
Critical infrastructures like the power grid are emerging as collection of existing separated systems of different nature which are interconnected together. Their criticality becom...
WIKIS
2009
ACM
13 years 9 months ago
2009
ACM
Due to the simplicity, attractiveness and effectiveness for collaborative authoring and knowledge management, wikis are now massively disseminated and used in different domains. T...
ICSE
2007
IEEE-ACM
13 years 10 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...