2705 search results - page 334 / 541 » Formal Ontology for Subject |
WISE
2007
Springer
14 years 5 months ago
2007
Springer
Web accessibility rules, i.e., the conditions to be met by Web sites in order to be considered accessible for all, can be (partially) checked automatically in many different ways....
EMSOFT
2007
Springer
14 years 5 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
CSCW
2006
ACM
14 years 4 months ago
2006
ACM
We evaluate response times, in N-user collaborations, of the popular centralized (client-server) and replicated (peer-to-peer) architectures, and a hybrid architecture in which ea...
ECLIPSE
2006
ACM
14 years 4 months ago
2006
ACM
As programs evolve, newly added functionality sometimes no longer aligns with the original design, ending up scattered across the software system. Aspect mining tries to identify ...
PLDI
2005
ACM
14 years 4 months ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...