2858 search results - page 432 / 572 » Logics with Aggregate Operators |
178
click to vote
PDPTA
2004
15 years 7 months ago
2004
This paper presents the design and performance of remote disk drivers for clusters of Commodity-Off-The-Shelf PCs that fetch disk blocks over System Area Networks. The driver offe...
210
click to vote
WOODPECKER
2001
15 years 7 months ago
2001
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...
166
click to vote
DAGSTUHL
1998
15 years 7 months ago
1998
After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal appro...
129
click to vote
WSC
1998
15 years 7 months ago
1998
Simulation with Arena is used to analyze a controlled conveyor network with merging configuration (CNMC). We use simulation to realize the logic in a queueingtheoretic model (QTM)...
211
click to vote
ROOM
2000
15 years 7 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...