1111 search results - page 139 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
130
click to vote
TPHOL
1998
IEEE
15 years 7 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
130
click to vote
VLSID
2004
IEEE
16 years 3 months ago
2004
IEEE
Abstract--In this paper, we present a new approach to calculate the steady state resistance values for CMOS library gates. These resistances are defined as simple equivalent models...
130
click to vote
CCS
2008
ACM
15 years 5 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...
112
click to vote
ICIP
2006
IEEE
16 years 4 months ago
2006
IEEE
Video based analysis of a persons' mood or behavior is in general performed by interpreting various features observed on the body. Facial actions, such as speaking, yawning o...
153
click to vote
ERSHOV
2009
Springer
15 years 29 days ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...