14360 search results - page 2745 / 2872 » Time Modeling in MARTE |
163
click to vote
SCAM
2008
IEEE
16 years 22 days ago
2008
IEEE
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...
162
click to vote
SRDS
2008
IEEE
16 years 22 days ago
2008
IEEE
Distributed storage systems often use data replication to mask failures and guarantee high data availability. Node failures can be transient or permanent. While the system must ge...
188
click to vote
SSDBM
2008
IEEE
16 years 22 days ago
2008
IEEE
Increasingly, many data sources appear as online databases, hidden behind query forms, thus forming what is referred to as the deep web. It is desirable to have systems that can pr...
201
click to vote
WCRE
2008
IEEE
16 years 21 days ago
2008
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...
227
click to vote
ABIALS
2008
Springer
16 years 21 days ago
2008
Springer
Abstract— Starting from the situated and embodied perspective on the study of biological cognition as a source of inspiration, this paper programmatically outlines a path towards...