409 search results - page 68 / 82 » Approaching a Discrete-Continuous UML: Tool Support and Form... |
104
click to vote
EUROMICRO
2000
IEEE
15 years 4 months ago
2000
IEEE
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
88
Voted
COMPSAC
2008
IEEE
15 years 1 months ago
2008
IEEE
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
111
click to vote
WOA
2010
14 years 9 months ago
2010
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....
106
click to vote
ICCS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper has two foci that are intended to be complementary. First, it describes Conzilla as an incarnation of a concept browser. More specifically, as a technical sol...
110
click to vote
ACSAC
2000
IEEE
15 years 4 months ago
2000
IEEE
Existing software infrastructures and middleware provide uniform security services across heterogeneous information networks. However, few, if any, tools exist that support access...