4139 search results - page 236 / 828 » Designing and Implementing Combinator Languages |
129
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
Many recent research projects focus on language support for behavioral software contracts, that is, assertions that govern the boundaries between software building blocks such as ...
142
Voted
FDL
2008
IEEE
15 years 11 months ago
2008
IEEE
—In this paper, we propose a quasi-static scheduling (QSS) method applicable to actor-oriented SystemC designs. QSS determines a schedule where several static schedules are combi...
139
click to vote
COMCOM
2006
15 years 4 months ago
2006
This paper discusses issues of personalization of presence services in the context of Internet Telephony. Such services take into consideration the willingness and ability of a use...
113
click to vote
ECOOP
2005
Springer
15 years 10 months ago
2005
Springer
Two object-oriented programming language paradigms— dynamic, prototype-based languages and multi-method languages— provide orthogonal benefits to software engineers. These two...
120
click to vote
ICDT
1995
ACM
15 years 8 months ago
1995
ACM
Partial information in databases can arise when information from several databases is combined. Even if each database is complete for some \world", the combined databases wil...