4211 search results - page 721 / 843 » A formal approach to MASQ |
180
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
194
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
161
click to vote
IEAAIE
2003
Springer
15 years 11 months ago
2003
Springer
Integration of heterogeneous statistics is essential for political decision making on all levels. Like in intelligent information integration in general, the problem is to combine ...
163
click to vote
IFL
2003
Springer
15 years 11 months ago
2003
Springer
It is important to be able to program GUI applications in a fast and easy manner. Current GUI tools for creating visually attractive applications offer limited functionality. In t...
163
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...