4418 search results - page 110 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
111
click to vote
CMSB
2008
Springer
15 years 6 months ago
2008
Springer
We present the Piecewise Linear Approximation Model of Ion Channel contribution (PLAMIC) to cardiac excitation. We use the PLAMIC model to conduct formal analysis of cardiac arrhyt...
156
click to vote
DEXA
2003
Springer
15 years 9 months ago
2003
Springer
Effective daily processing of large amounts of paper documents in office environments requires the application of semantic-based indexing techniques during the transformation of pa...
133
click to vote
DIAL
2006
IEEE
15 years 10 months ago
2006
IEEE
It is common for libraries to provide public access to historical and ancient document image collections. It is common for such document images to require specialized processing i...
141
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
137
click to vote
ASM
2005
ASM
15 years 9 months ago
2005
ASM
Abstract. In this paper we consider the following task: given an abstract state machine, characterize the subsets of initial values corresponding to different typical scenarios of...