4305 search results - page 487 / 861 » Analysing Protocol Implementations |
180
click to vote
IWPC
2009
IEEE
16 years 1 months ago
2009
IEEE
Understanding aspect-oriented systems, without appropriate tool support, is a difficult and a recognized problem in the research community. Surprisingly, little has been done to ...
198
click to vote
AIME
2009
Springer
16 years 1 months ago
2009
Springer
Note taking is a common way for physicians to collect information from their patients in medical inquiries and diagnoses. Many times, when describing the pathology in medical recor...
180
click to vote
EPEW
2009
Springer
16 years 1 months ago
2009
Springer
We develop models of automated E-commerce techniques, which predict the economic outcomes of these decision mechanisms, including the price attained by a good and the resulting inc...
197
click to vote
ESA
2009
Springer
16 years 1 months ago
2009
Springer
We introduce the First Fit Matching Periods algorithm for rate-monotonic multiprocessor scheduling of periodic tasks with implicit deadlines and show that it yields asymptotically...
166
click to vote
SAFECOMP
2009
Springer
16 years 1 months ago
2009
Springer
The behaviour of control functions in safety critical software systems is typically bounded to prevent the occurrence of known system level hazards. These bounds are typically deri...