4343 search results - page 522 / 869 » Segmentation from a Box |
137
click to vote
RTSS
1998
IEEE
15 years 8 months ago
1998
IEEE
Schedulability analysis of fixed priority preemptive scheduled systems can be performed by calculating the worst-case response-time of the involved processes. The system is deemed...
135
click to vote
CADE
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...
161
Voted
VL
1997
IEEE
15 years 8 months ago
1997
IEEE
Visual programming approaches are limited in their usefulness if they do not include a profile of their users that defines exactly who is attempting to solve what kind of problems...
130
Voted
CCS
2006
ACM
15 years 8 months ago
2006
ACM
In biology, a vaccine is a weakened strain of a virus or bacterium that is intentionally injected into the body for the purpose of stimulating antibody production. Inspired by thi...
131
click to vote
ACMSE
2008
ACM
15 years 6 months ago
2008
ACM
With stock surpluses and shortages representing one of the greatest elements of risk to wholesalers, a solution to the multiretailer supply chain management problem would result i...