1894 search results - page 190 / 379 » A TLA Proof System |
154
click to vote
EJIS
2007
15 years 4 months ago
2007
The adoption of information systems in healthcare is no less significant than in any other commercial or caring organisation. The literature on IS adoption in healthcare, makes it...
151
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
159
click to vote
APSEC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
115
click to vote
RTCSA
2008
IEEE
15 years 10 months ago
2008
IEEE
In an attempt to substitute NOR flash with NAND flash and provide more memory to applications, embedded systems have to use demand paging. However, demand paging drastically degra...
119
click to vote
ICDCS
2007
IEEE
15 years 10 months ago
2007
IEEE
An electronic cash system allows users to withdraw coins, represented as bit strings, from a bank or broker, and spend those coins anonymously at participating merchants, so that ...