875 search results - page 35 / 175 » Specification Modules for Methodical System Development |
137
click to vote
RTCSA
1999
IEEE
15 years 6 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
146
click to vote
LCTRTS
2010
Springer
15 years 7 days ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
118
Voted
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
The title of this paper, besides being a pun, can be taken to mean either the frontier of research in graph transformation, or the advantage of using graph transformation. To focus...
108
click to vote
IADIS
2004
15 years 3 months ago
2004
IMT-2000 has been developing in both cdma2000 and W-CDMA, and their convergence or harmonization has also been discussed in several standard organizations. Besides the most expert...
185
click to vote
TFS
2010
14 years 9 months ago
2010
At present, the development in the nascent field of synthetic gene networks is still difficult. Most newly created gene networks are nonfunctioning due to intrinsic parameter fluct...