620 search results - page 28 / 124 » Decidability Problems for Actor Systems |
JCP
2008
14 years 9 months ago
2008
Under the environment of Service-Oriented Architecture (SOA), service users have to decide how to choose the proper provider from the candidates to obtain optimal service level. Th...
AML
2007
14 years 9 months ago
2007
We investigate the computational complexity of deciding whether a given inference rule is admissible for some modal and superintuitionistic logics. We state a broad condition unde...
DEXAW
2005
IEEE
15 years 3 months ago
2005
IEEE
Today, management and tuning questions are approached using if...then... rules of thumb. This reactive approach requires expertise regarding of system behavior, making it difficu...
SIPS
2008
IEEE
15 years 4 months ago
2008
IEEE
The upcoming Reconfigurable Video Coding (RVC) standard from MPEG (ISO/IEC SC29WG11) defines a library of coding tools to specify existing or new compressed video formats and deco...
ECEH
2007
14 years 11 months ago
2007
: The growing demand for informational self-determination of patients will not only result in a stronger participation in therapeutic decision making hence causing a change in the ...