Sciweavers

27756 search results - page 576 / 5552
» Process Query Systems
Sort
View
ENTCS
2007
101views more  ENTCS 2007»
15 years 6 months ago
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
David J. Pym, Chris M. N. Tofts
IVC
2008
101views more  IVC 2008»
15 years 6 months ago
A system for processing handwritten bank checks automatically
In the US and many other countries, bank checks are preprinted with the account number and the check number in MICR ink and format; as such, these two numeric fields can be easily...
Rafael Palacios, Amar Gupta
WECWIS
2008
IEEE
361views ECommerce» more  WECWIS 2008»
16 years 1 months ago
How to Describe Workflow Information Systems to Support Business Process
This paper addresses a methodology for developing the various user interfaces (UI) of a workflow information system (WIS), which are advocated to automate business processes, foll...
Josefina Guerrero García, Jean Vanderdonckt...
ICSE
1997
IEEE-ACM
15 years 11 months ago
Endeavors: A Process System Infrastructure
As software projects evolve, possibly differing in size, complexity, scope, and purpose, the development processes that support the project must evolve to reflect these changes. T...
Arthur S. Hitomi, Gregory Alan Bolcer, Richard N. ...
ICIAP
2003
ACM
16 years 7 months ago
An efficient vehicle queue detection system based on image processing
This paper describes a method for the real-time measurement of vehicle queue parameters in a video-based traffic monitoring experimental system. The method proposed here is based ...
Michele Zanin, Stefano Messelodi, Carla Maria Mode...