2245 search results - page 266 / 449 » A Case Study Implementing Features Using AspectJ |
173
click to vote
INFORMATICALT
2002
15 years 6 months ago
2002
Abstract. Real life scheduling problems are solved by heuristics with parameters defined by experts, as usual. In this paper a new approach is proposed where the parameters of vari...
177
click to vote
ICLP
2005
Springer
16 years 9 hour ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
229
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...
140
click to vote
JNS
2011
15 years 1 months ago
2011
A 3D pendulum consists of a rigid body, supported at a fixed pivot, with three rotational degrees of freedom. The pendulum is acted on by a gravitational force. Symmetry assumptio...
159
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...