1463 search results - page 95 / 293 » Model Checking Implicit-Invocation Systems |
125
click to vote
IS
2008
15 years 1 months ago
2008
Many companies have adopted Process-aware Information Systems (PAIS) to support their business processes in some form. On the one hand these systems typically log events (e.g., in ...
120
click to vote
ESORICS
2008
Springer
15 years 3 months ago
2008
Springer
We are interested in this problem: a verifier, with a small and reliable storage, wants to periodically check whether a remote server is keeping a large file x. A dishonest server,...
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Checking the equivalence of a system-level model against an RTL design is a major challenge. The reason is that usually the system-level model is written by a system architect, ...
123
Voted
CMSB
2006
Springer
15 years 5 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
120
click to vote
MTV
2003
IEEE
15 years 7 months ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...