1670 search results - page 56 / 334 » On Skolemization in constructive theories |
ECIS
2003
13 years 11 months ago
2003
Defining “IS habit” as the extent to which using a particular IS has become automatic in response to certain situations, we developed a reliable and validated scale to measure...
ENTCS
2008
13 years 9 months ago
2008
Integrated Development Environments supporting software and model evolution have to deal with the problem of maintaining coherence between code and model despite changes which may...
ENTCS
2006
13 years 9 months ago
2006
Trace semantics has been defined for various non-deterministic systems with different input/output types, or with different types of "non-determinism" such as classical ...
SIMULATION
1998
13 years 9 months ago
1998
Setting up a simulation model is more than writing down state equations and running them on a computer. A lot of conceptual information about the physics and engineering aspects o...
INFOSCALE
2006
ACM
14 years 3 months ago
2006
ACM
Abstract— With the increasing popularity of parallel programming environments such as PC clusters, more and more sequential programmers, with little knowledge about parallel arch...