650 search results - page 34 / 130 » Modeling SPARK systems with UML |
FDL
2007
IEEE
15 years 6 months ago
2007
IEEE
This article introduces the Time Model subprofile of MARTE, a new OMG UML Profile dedicated to Modeling and Analysis of Real-Time and Embedded systems. After a brief presentatio...
125
click to vote
WOSP
2005
ACM
15 years 5 months ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
103
click to vote
ER
2007
Springer
15 years 3 months ago
2007
Springer
Data Warehouse (DWH) systems represent a single source of information for analyzing the status, the development and the results of an organization. Today's DWH systems provide...
117
click to vote
MODELS
2010
Springer
14 years 10 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
131
click to vote
DSD
2010
IEEE
14 years 10 months ago
2010
IEEE
Reconfigurable FPGA based Systems-on-Chip (SoC) architectures are increasingly becoming the preferred solution for implementing modern embedded systems, due to their flexible natur...