15777 search results - page 2839 / 3156 » Engineering in Software |
245
click to vote
ICSE
2007
IEEE-ACM
16 years 28 days 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 ...
199
click to vote
VAMOS
2007
Springer
16 years 27 days ago
2007
Springer
A short theatrical exaggeration (but not too much) which describes practical problems with variability as experienced by real-world software developers. Real issue, there are no p...
247
click to vote
EDO
2006
Springer
15 years 10 months ago
2006
Springer
Server applications with adaptive behaviors can adapt their functionality in response to environmental changes, and significantly reduce the on-going costs of system deployment an...
178
click to vote
AAAI
2008
15 years 9 months ago
2008
The goal of my ongoing work is to provide an architecture for developing and manipulating modular ontologies in such a way that each ontology module can plug into or unplug from a...
203
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...