1670 search results - page 319 / 334 » On Skolemization in constructive theories |
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
Over the past year, the shakeout in the electronic commerce marketplace has redirected the attention of entrepreneurs and investors from the funding hype surrounding Internet star...
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
A computational enterprise model representing key facets of an organization can be an effective tool. For example, a specific organization's quality management business proce...
DESRIST
2009
Springer
15 years 2 months ago
2009
Springer
In information system development, end-users often participate in design and in many cases learn to design their own system. Design, however, requires a distinct approach that use...
HYBRID
2001
Springer
15 years 2 months ago
2001
Springer
It has been observed that there are a variety of situations in which the most popular hybrid simulation methods can fail to properly detect the occurrence of discrete events. In th...
ISIPTA
1999
IEEE
15 years 2 months ago
1999
IEEE
The purpose of this note is to describe the underlying insights and results obtained by the authors, and others, in a series of papers aimed at modelling the distribution of `natu...