4460 search results - page 268 / 892 » Formal methods for interactive systems |
142
Voted
CCS
2004
ACM
15 years 10 months ago
2004
ACM
Magnetic stripe cards are in common use for electronic payments and cash withdrawal. Reported incidents document that criminals easily pickpocket cards or skim them by swiping the...
145
click to vote
HCI
2007
15 years 7 months ago
2007
With the growing volumes of data, exploring the relationships within the huge amounts of data is difficult. Information visualization uses the human perception system to assist use...
166
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
With the increasing availability of high-performance massively parallel computer systems, the prevalence of sophisticated scientific simulation has grown rapidly. The complexity ...
176
click to vote
TVCG
2008
15 years 6 months ago
2008
This survey reviews the recent advances in linear variational mesh deformation techniques. These methods were developed for editing detailed high-resolution meshes like those produ...
155
click to vote
TYPES
2007
Springer
16 years 9 days ago
2007
Springer
This paper gives a characterisation, via intersection types, of the strongly normalising terms of an intuitionistic sequent calculus (where LJ easily embeds). The soundness of the ...