665 search results - page 75 / 133 » A proposal for an owl rules language |
167
click to vote
LOPSTR
2004
Springer
15 years 11 months ago
2004
Springer
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...
158
click to vote
UML
2001
Springer
15 years 10 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
151
click to vote
DGO
2006
15 years 7 months ago
2006
To support rule-writers, we are developing techniques to automatically analyze large number of public comments on proposed regulations. A document is analyzed in various ways incl...
208
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combi...
134
click to vote
ICALP
2009
Springer
16 years 6 months ago
2009
Springer
Abstract In a load balancing network each processor has an initial collection of unit-size jobs, tokens, and in each round, pairs of processors connected by balancers split their l...