5434 search results - page 420 / 1087 » Tool support for MOLA |
199
click to vote
ISMVL
2010
IEEE
16 years 23 days ago
2010
IEEE
—The purpose of secure devices such as smartcards is to protect secret information against software and hardware attacks. Implementation of the appropriate protection techniques ...
206
click to vote
FM
1999
Springer
15 years 12 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
186
click to vote
GW
1999
Springer
15 years 12 months ago
1999
Springer
Our engagement with consumer products diminishes gradually over the last decades, which causes considerable usability problems. To dissolve these problems, the designer's emph...
200
click to vote
ICSE
1999
IEEE-ACM
15 years 12 months ago
1999
IEEE-ACM
Many reverse-engineering tools have been developed to detract representations from source code. Yet, most of these tools completely ignore recovery of the all-important rationale ...
203
click to vote
UIST
1998
ACM
15 years 12 months ago
1998
ACM
Our goal is to provide tools to support working meetings on an electronic whiteboard, called Tivoli. This paper describes how we have integrated structured domain objects, which r...