3335 search results - page 156 / 667 » A Unified Approach to Modeling and Programming |
162
click to vote
DKE
2007
15 years 6 months ago
2007
In aspect-oriented programming (AOP) a cross-cutting concern is implemented in an aspect. An aspect weaver blends code from the aspect into a program’s code at programmer-specifi...
168
click to vote
ESOP
2005
Springer
16 years 2 days ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
193
click to vote
CP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Selecting conformations for side-chains is an important subtask in building three-dimensional protein models. Side-chain placement is a difficult problem because of the l...
178
click to vote
ML
2008
ACM
15 years 6 months ago
2008
ACM
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
179
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...