10159 search results - page 244 / 2032 » System Design Validation Using Formal Models |
143
click to vote
WOA
2010
15 years 1 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 ....
111
click to vote
WSC
2007
15 years 5 months ago
2007
ExtendSim 7 is a proven simulation environment capable of modeling a wide range of systems. ExtendSim 7 is used to model continuous, discrete event, discrete rate, and agent based...
151
click to vote
COMPSAC
2010
IEEE
15 years 1 months ago
2010
IEEE
In distributed IT systems, replication of information is commonly used to strengthen the fault tolerance on a technical level or the autonomy of an organization on a business level...
130
click to vote
CADUI
2006
15 years 4 months ago
2006
Since R. Bolt's seminal "Put that there" demonstrator, more and more robust and innovative modalities can be used and empirical work on the usage of multiple modalit...
121
click to vote
JUCS
2008
15 years 3 months ago
2008
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...