880 search results - page 71 / 176 » Model checking erlang programs: the functional approach |
130
click to vote
WSC
2007
15 years 6 months ago
2007
Metamodels are functions with calibrated parameters, used actions and simplifications of the simulation model. A metamodel exposes the system’s input-output relationship and ca...
131
click to vote
CAV
2009
Springer
15 years 11 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
143
click to vote
WCRE
2005
IEEE
15 years 10 months ago
2005
IEEE
Buffer overflows have been the most common form of security vulnerability in the past decade. A number of techniques have been proposed to address such attacks. Some are limited t...
144
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
The paper considers the complex behavior of a small company in a business ecosystem, time by time leader or supplier or both in one or more supply chains, and points out the data e...
133
click to vote
JAIR
2008
15 years 4 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...