20126 search results - page 3568 / 4026 » Timed Transition Systems |
218
click to vote
APSEC
1996
IEEE
15 years 11 months ago
1996
IEEE
Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce differe...
206
click to vote
COMPSAC
1996
IEEE
15 years 11 months ago
1996
IEEE
Business rules are operational rules that business organizationsfollow to peq%rm various activities. Over time, business rules evolve and the software that implemented them are al...
229
click to vote
CVPR
1996
IEEE
15 years 11 months ago
1996
IEEE
We present a vision system for the 3-D modelbased tracking of unconstrained human movement. Using image sequences acquired simultaneously from multiple views, we recover the 3-D b...
233
click to vote
HICSS
1996
IEEE
15 years 11 months ago
1996
IEEE
The venerable problem solving technique of simulation finds itself inthe midstof a revolution. Where once it was regarded as a "technique of last resort" for systems ana...
226
click to vote
HPDC
1996
IEEE
15 years 11 months ago
1996
IEEE
Load balancing involves assigning to each processor, work proportional to its performance, minimizing the execution time of the program. Althoughstatic load balancing can solve ma...