585 search results - page 32 / 117 » Structured Formal Development in Isabelle |
102
Voted
GECCO
2005
Springer
15 years 5 months ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
103
click to vote
EUROCAST
2007
Springer
15 years 3 months ago
2007
Springer
abstract Parsing schemata [4] provide a formal, simple and uniform way to describe, analyze and compare different parsing algorithms. The notion of a parsing schema comes from cons...
112
click to vote
JAIR
2007
14 years 11 months ago
2007
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...
114
click to vote
RSP
1998
IEEE
15 years 4 months ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
BMCBI
2008
14 years 12 months ago
2008
Background: Formal classification of a large collection of protein structures aids the understanding of evolutionary relationships among them. Classifications involving manual ste...