9405 search results - page 991 / 1881 » Computing a Model of Set Theory |
204
click to vote
HICSS
2002
IEEE
16 years 18 days ago
2002
IEEE
E-commerce strategists advise companies to create virtual communities for their customers. But what is involved in establishing and maintaining virtual communities? This paper add...
196
click to vote
ECRTS
1999
IEEE
15 years 12 months ago
1999
IEEE
Despite the significant body of results in real-time scheduling, many real world problems are not easily supported. While algorithms such as Earliest Deadline First, Rate Monotoni...
215
click to vote
ACMICEC
2006
ACM
15 years 11 months ago
2006
ACM
In this paper, we look at a supply chain of commodity goods where customer demand is uncertain and partly based on reputation, and where raw material replenishment is uncertain in...
213
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
193
click to vote
HYBRID
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We can achieve guaranteed constraint satisfaction of a hybrid dynamical system (which takes into account the underlying continuous dynamics) in a simple, hierarchical con...