800 search results - page 90 / 160 » Towards a formalization of budgets |
109
click to vote
SAS
1994
Springer
15 years 3 months ago
1994
Springer
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
101
Voted
AIME
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Clinical guidelines (GLs) play an important role to standardize and organize clinical processes according to evidence-based medicine. Several computer-based GL representa...
CEC
2008
IEEE
15 years 5 months ago
2008
IEEE
— In this paper we evolve the parameters of a proportional, integral, and derivative (PID) controller for an unstable, complex and nonlinear system. The individuals of the applie...
92
Voted
AGILEDC
2007
IEEE
15 years 5 months ago
2007
IEEE
This experience report describes a three year journey toward agility in a software engineering course. Students in the course work in small project teams to develop an application...
126
click to vote
VLDB
2007
ACM
15 years 5 months ago
2007
ACM
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...