1397 search results - page 85 / 280 » On the Need for Practical Formal Methods |
125
click to vote
BMVC
2010
15 years 2 months ago
2010
As a problem of high practical appeal but outstanding challenges, computer-based face recognition remains a topic of extensive research attention. In this paper we are specificall...
123
click to vote
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
125
click to vote
TOSEM
1998
15 years 3 months ago
1998
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...
129
click to vote
ESAW
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In systems based on organisational specifications a reoccurring problem remains to be solved in the disparity between the level actness of the organisational concepts an...
123
click to vote
WIKIS
2005
ACM
15 years 9 months ago
2005
ACM
In this article we examine the integration of communities of practice supported by a wiki into work processes. Linear structures are often inappropriate for the execution of knowl...