538 search results - page 46 / 108 » Processing Knowledge to Support Knowledge-based Engineering ... |
IEEESCC
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
IUI
2009
ACM
14 years 5 months ago
2009
ACM
Numerous techniques exist to help users automate repetitive tasks; however, none of these methods fully support enduser creation, use, and modification of the learned tasks. We pr...
JLP
2006
13 years 8 months ago
2006
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Knowledge-based economy forces companies in every country to group together as a cluster in order to maintain their competitiveness in the world market. The cluster development re...