2625 search results - page 238 / 525 » The development of the Emerald programming language |
147
click to vote
VL
2005
IEEE
16 years 8 days ago
2005
IEEE
What are people currently looking at in their web browser? Do the patterns of pages change over time? Are changes periodic or just related to current events or other factors? We a...
156
click to vote
LPAR
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
164
Voted
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
Trust dilution and trust fusion are two operators that are used to calculate transitive trust in a trust network. Various implementations of these operators already exist but are n...
154
click to vote
PLDI
1999
ACM
15 years 11 months ago
1999
ACM
Java class files are often distributed as jar files, which are collections of individually compressed class files (and possibility other files). Jar files are typically about...
171
click to vote
ECOOP
1999
Springer
15 years 11 months ago
1999
Springer
We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a...