2702 search results - page 84 / 541 » Practically Applicable Formal Methods |
122
Voted
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
141
click to vote
ACSW
2006
15 years 3 months ago
2006
To provide card holder authentication while they are conducting an electronic transaction using mobile devices, VISA and MasterCard independently proposed two electronic payment p...
148
click to vote
ISEMANTICS
2010
15 years 23 days ago
2010
Reference models play an important role in the knowledge management of the various complex collaboration domains (such as Supply Chain Networks). However, they often show a lack o...
107
Voted
FBT
1997
15 years 3 months ago
1997
Abstract: In most cases, it is simple inconvenience of use that keeps formal methods from being put to industrial use. This paper argues that functionalities, even though of simple...
109
Voted
ISSS
1998
IEEE
15 years 6 months ago
1998
IEEE
The concept of retargetability enables compiler technology to keep pace with the increasing variety of domain-speci c embedded processors. In order to achieve user retargetability,...