1833 search results - page 112 / 367 » Mechanized Verification with Sharing |
117
Voted
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract. With this paper we intend to present a brief overview of the current means to describe architecture in different standards. We cover AADL as an example of Architecture De...
122
click to vote
RSP
1998
IEEE
15 years 8 months ago
1998
IEEE
A technique to include virtual prototyping in the design cycle of complex digital modem ASICs is presented. It is innovating by using the same behavioral description for both the ...
134
click to vote
FMOODS
2006
15 years 5 months ago
2006
Long-Running transactions consist of tasks which may be executed sequentially and in parallel, may contain sub-tasks, and may require to be completed before a deadline. These trans...
148
click to vote
ICEIS
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper presents a Model-Based graphical editor for supporting the creation of conceptual models and domain ontologies in a philosophically and cognitively well-founded modeling...
135
click to vote
DSRT
2008
IEEE
15 years 11 months ago
2008
IEEE
A rational P2P node may decide not to provide a particular resource or to provide it with degraded quality. If nodes are very likely to behave this way, or if the failure of an P2...