1585 search results - page 60 / 317 » A framework for computer-aided validation |
IADIS
2003
15 years 1 months ago
2003
Despite numerous frameworks and models proposed in the literature, Information Systems (IS) assessment still remains elusive. Above all, there is little agreement on the contribut...
VTS
2005
IEEE
15 years 5 months ago
2005
IEEE
We present three resistive bridging fault models valid for different CMOS technologies. The models are partitioned into a general framework (which is shared by all three models) a...
138
click to vote
IRI
2009
IEEE
15 years 6 months ago
2009
IEEE
We propose an open and extensible agent-based formal framework for modeling and simulating supply chains. Since structures and behaviors of supply chains can be very different bas...
107
click to vote
ICFP
2003
ACM
15 years 11 months ago
2003
ACM
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
IJMMS
2006
14 years 12 months ago
2006
Trust is a key factor in consumer decisions about website engagement. Consumers will engage with sites they deem trustworthy and turn away from those they mistrust. In this paper ...