102 search results - page 2 / 21 » Formal Method of Description Supporting Portfolio Assessment |
JBI
2007
13 years 5 months ago
2007
In this case study, we describe a method that has potential to provide systematic support for public health information management. Public health agencies depend on specialized in...
FMAM
2010
13 years 3 months ago
2010
Abstract: The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting...
CP
2005
Springer
13 years 10 months ago
2005
Springer
Local search is a powerful and well-established method for solving hard combinatorial problems. Yet, until recently, it has provided very little user support, leading to time-consu...
ICLP
2010
Springer
13 years 9 months ago
2010
Springer
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...
DBKDA
2009
IEEE
13 years 8 months ago
2009
IEEE
Software systems in health care, such as disease and medical-record management, or financial applications, such as customer relationship and portfolio management, have very often...