308 search results - page 54 / 62 » Modular Verification of Interactive Systems with an Applicat... |
107
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: Finding the subgraphs of a graph database that are isomorphic to a given query graph has practical applications in several fields, from cheminformatics to image unders...
120
click to vote
CONSTRAINTS
2008
14 years 11 months ago
2008
Bioinformatics aims at applying computer science methods to the wealth of data collected in a variety of experiments in life sciences (e.g. cell and molecular biology, biochemistry...
WECWIS
2005
IEEE
15 years 5 months ago
2005
IEEE
Flexible workflow systems are needed for processes that need consistency as well as flexibility (e.g., personalized client interactions). A methodology for designing flexible serv...
111
click to vote
CCS
2003
ACM
15 years 4 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
112
click to vote
ECSA
2010
Springer
15 years 21 days ago
2010
Springer
Although a lot of research has been carried out on the technical architecture of software systems, the domain of Functional Architecture in the software product industry lacks a fo...