2702 search results - page 389 / 541 » Practically Applicable Formal Methods |
127
click to vote
ICAIL
2003
ACM
15 years 7 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
130
click to vote
WADT
1999
Springer
15 years 6 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
139
click to vote
JCB
2000
15 years 2 months ago
2000
Multiple sequence alignments (MSAs) are frequently used in the study of families of protein sequences or DNA/RNA sequences. They are a fundamental tool for the understanding of th...
132
click to vote
SPLC
2010
15 years 18 days ago
2010
Product line engineering allows for the rapid development of variants of a domain specific application by using a common set of reusable assets often known as core assets. Variabil...
137
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: Many different aspects of cellular signalling, trafficking and targeting mechanisms are mediated by interactions between proteins and peptides. Representative examples...