875 search results - page 98 / 175 » Specification Modules for Methodical System Development |
109
click to vote
HCI
2009
15 years 4 days ago
2009
Domain-specific modeling is a powerful technique to describe complex systems in a precise but still understandable way. Rapid creation of graphical Domain-Specific Languages (DSLs)...
139
click to vote
AMAST
2010
Springer
14 years 9 months ago
2010
Springer
mu-term is a tool which can be used to verify a number of termination properties of (variants of) Term Rewriting Systems (TRSs): termination of rewriting, termination of innermost ...
APSEC
1999
IEEE
15 years 6 months ago
1999
IEEE
The management of complexity in large systems is traditionally focused on the modeling and management of classes and hierarchies of classes. In order to improve the compositional ...
112
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
The current technologies have made it possible to execute parallel applications across heterogeneous platforms. However, the performance models available do not provide adequate m...
103
click to vote
DCC
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper considers the development of a general framework for the analysis of transmit beamforming methods in multiple antenna systems with finite-rate feedback. Inspired by the...