1669 search results - page 119 / 334 » Structured Specification of Model Interpreters |
126
click to vote
ICSEA
2008
IEEE
15 years 10 months ago
2008
IEEE
Despite progress in model engineering, modeling large distributed systems is still a long and complex task. This paper outlines a methodology based on UML to make the modeling of ...
129
Voted
CORR
1999
Springer
15 years 3 months ago
1999
Springer
In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized ...
98
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Type I signal peptidases (SPases) are essential membrane-bound serine proteases responsible for the cleavage of signal peptides from proteins that are translocated acr...
123
Voted
CACM
1998
15 years 3 months ago
1998
rigorous, and abstract— clearly defined and generally agreed—type inheritance model. To quote an article by Taivalsaari: “The basic idea of inheritance is quite simple ... [a...
155
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: Coalescent simulations are playing a large role in interpreting large scale intraspecific sequence or polymorphism surveys and for planning and evaluating association ...