4737 search results - page 787 / 948 » The LOGIC negotiation model |
181
Voted
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
200
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
191
click to vote
WETICE
1998
IEEE
15 years 11 months ago
1998
IEEE
The concept of the Virtual Software Corporation (VSC) has recently become a practical reality as a result of advances in communication and distributed technologies. However, there...
192
click to vote
EDBT
1998
ACM
15 years 11 months ago
1998
ACM
Abstract. HySpirit is a retrieval engine for hypermedia retrieval integrating concepts from information retrieval (IR) and deductive databases. The logical view on IR models retrie...
192
click to vote
DBPL
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...