1802 search results - page 255 / 361 » Using Declarative Specifications in Business Process Design |
166
Voted
SPATIALCOGNITION
2000
Springer
15 years 6 months ago
2000
Springer
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...
123
Voted
SIGMOD
2010
ACM
15 years 7 months ago
2010
ACM
Time-oriented progress estimation for parallel queries is a challenging problem that has received only limited attention. In this paper, we present ParaTimer, a new type of timere...
167
Voted
CIVR
2010
Springer
15 years 25 days ago
2010
Springer
In many applications, we find large video collections from different genres where the user is often only interested in one or two specific video genres. So, when users are queryin...
126
Voted
FPGA
1995
ACM
15 years 6 months ago
1995
ACM
During the development of computer peripherals which interface to the processor via the system bus it is often necessary to acquire the signals on the bus at the hardware level. I...
130
Voted
FAC
2000
15 years 2 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...