412 search results - page 33 / 83 » RATSY - A New Requirements Analysis Tool with Synthesis |
WSC
2008
14 years 1 months ago
2008
A large number of operational tools exist to help researchers determine business solutions for their customers. Each individual tool serves a distinct purpose for specific types o...
CORR
2008
Springer
13 years 11 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
SAC
2005
ACM
14 years 4 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
APVIS
2004
14 years 6 days ago
2004
Information visualisation has become increasingly important in science, engineering and commerce as a tool to convey and explore complex sets of information. This paper introduces...
BMCBI
2005
13 years 10 months ago
2005
Background: The PD-(D/E)XK nuclease superfamily, initially identified in type II restriction endonucleases and later in many enzymes involved in DNA recombination and repair, is o...