3432 search results - page 490 / 687 » Model Development in the UML-based Specification Environment... |
177
click to vote
SACMAT
2005
ACM
16 years 5 days ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
210
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: One of the essential processing events during pre-mRNA maturation is the posttranscriptional addition of a polyadenine [poly(A)] tail. The 3'-end poly(A) track pr...
156
click to vote
ICALT
2005
IEEE
16 years 6 days ago
2005
IEEE
Concept Maps constitute one of the tools mostly used in learning management due to the possibility that they offer to contextualize learning, share knowledge and for learning to le...
135
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
CAD tool interoperability issues are a recurring impediment to constructing a design methodology, especially if the methodology incorporates point tools from several vendors. Failu...
155
click to vote
WETICE
1995
IEEE
15 years 10 months ago
1995
IEEE
In this paper we informally explain a new Trellis model that incorporates colored tokens into the previouslydescribed timed-Petri-net-based de nition. We give examples of using Tr...