1126 search results - page 53 / 226 » Architectural and Analytic Integration of Cyber-Physical Sys... |
177
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
129
click to vote
ER
2006
Springer
15 years 9 months ago
2006
Springer
When trying to obtain semantical interoperability between different information systems, the integration of heterogeneous information sources is a fundamental task. An important st...
180
click to vote
JAMIA
2010
15 years 29 days ago
2010
Mayo Clinic's Enterprise Data Trust is a collection of data from patient care, education, research, and administrative transactional systems, organized to support information...
166
click to vote
EMSOFT
2007
Springer
16 years 10 days ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
152
click to vote
WOSP
2000
ACM
15 years 10 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...