7921 search results - page 665 / 1585 » Process Modeling in Web Applications |
296
click to vote
VL
2007
IEEE
16 years 1 months ago
2007
IEEE
This articles submits the thesis that visual data modeling and programming languages are conveniently conceived as rendering, or ‘styling’, of conventional, textual languages....
203
click to vote
BCSHCI
2007
15 years 9 months ago
2007
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...
196
click to vote
ICIP
2001
IEEE
16 years 9 months ago
2001
IEEE
Exporting to cultural heritage methods and tools used in industrial areas, where the profits can justify high modeling costs, may only be a starting point for cultural heritage mo...
213
Voted
ESORICS
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
183
click to vote
ICIP
2010
IEEE
15 years 5 months ago
2010
IEEE
Multiview video is increasingly getting attention due to emerging applications such as 3DTV and immersive teleconferencing. In this paper, we present a non-stationary Hidden Marko...