1073 search results - page 37 / 215 » Formal Program Development with Approximations |
102
click to vote
CORR
2010
Springer
15 years 15 days ago
2010
Springer
We study active integrity constraints and revision programming, two formalisms designed to describe integrity constraints on databases and to specify policies on preferred ways to...
103
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...
159
click to vote
TKDE
2012
13 years 4 months ago
2012
— We study the problem of assigning subscribers to brokers in a wide-area content-based publish/subscribe system. A good assignment should consider both subscriber interests in t...
IWPC
2005
IEEE
15 years 7 months ago
2005
IEEE
Approximately 70% of the source code of a software system consists of identifiers. Hence, the names chosen as identifiers are of paramount importance for the readability of comp...
91
Voted
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: ...