7080 search results - page 469 / 1416 » Designing High Integrity Systems Using Aspects |
131
click to vote
ECBS
1997
IEEE
15 years 9 months ago
1997
IEEE
We present a new approach to an interactive design and analysis environment for visual languages. The main components, i.e., editor, animator, and interpreter, are introduced. The...
134
click to vote
RULEML
2005
Springer
15 years 10 months ago
2005
Springer
We show the first detailed realistic e-business application scenario that uses and exploits capabilities of the SweetRules V2.1 toolset for e-contracting using the SweetDeal approa...
154
click to vote
ASAP
2008
IEEE
15 years 11 months ago
2008
IEEE
Many complex systems require the use of floating point arithmetic that is exceedingly time consuming to perform on personal computers. However, floating point operators are also h...
123
click to vote
AUTOMATICA
2007
15 years 4 months ago
2007
High level control of dynamic positioning systems on marine vessels using hybrid controller are developed to extend the operational weather window for marine operations to harsh e...
142
click to vote
ICC
1997
IEEE
15 years 9 months ago
1997
IEEE
: In this paper, a multiservice, local-area, wireless access ATM system is explored from a signaling protocol viewpoint. The signaling architecture considered here follows the sign...