9626 search results - page 234 / 1926 » Invariant Based Programming |
186
click to vote
CSCLP
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Combinatorial problems such as scheduling, resource allocation, and configuration have many attributes that can be subject of user preferences. Traditional optimization ...
173
click to vote
CLEF
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...
174
click to vote
ITICSE
2003
ACM
15 years 11 months ago
2003
ACM
The high variability of students’ backgrounds typically found in introductory programming courses creates additional difficulties to foster motivation and ensure the desired co...
170
click to vote
ICSM
2007
IEEE
16 years 24 days ago
2007
IEEE
Recent software systems usually feature an automated failure reporting component, with which a huge number of failures are collected from software end-users. With a proper support...
181
click to vote
FUIN
2006
15 years 6 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...