1481 search results - page 250 / 297 » Enriching the Software Development Process by Formal Methods |
105
click to vote
BMCBI
2008
14 years 12 months ago
2008
Background: Microarray techniques are one of the main methods used to investigate thousands of gene expression profiles for enlightening complex biological processes responsible f...
IJFCS
2006
14 years 11 months ago
2006
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...
103
click to vote
COLING
2010
14 years 6 months ago
2010
Given the increasing need to process massive amounts of textual data, efficiency of NLP tools is becoming a pressing concern. Parsers based on lexicalised grammar formalisms, such...
EACL
2003
ACL Anthology
15 years 1 months ago
2003
ACL Anthology
This paper provides a method for generating compact and efficient code to implement the enforcement of a description in typed feature logic. It does so by viewing information abo...
AGTIVE
1999
Springer
15 years 4 months ago
1999
Springer
A suitable software architecture –for example in the area of distributed application– can be composed of known-to-work solutions. These are also known as design patterns. Howev...