227 search results - page 41 / 46 » Defining and Monitoring Knowledge Integrity |
125
click to vote
WECWIS
2007
IEEE
15 years 7 months ago
2007
IEEE
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...
131
click to vote
SPLC
2000
15 years 2 months ago
2000
: Framelets and implementation cases are new concepts to manage the complexity of product line development. Framelets are "small product lines" that address, as self-stan...
124
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: Cells dynamically adapt their gene expression patterns in response to various stimuli. This response is orchestrated into a number of gene expression modules consistin...
129
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: Large molecular sequence databases are fundamental resources for modern bioscientists. Whether for project-specific purposes or sharing data with colleagues, it is oft...
133
click to vote
JOT
2008
15 years 1 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...