1438 search results - page 126 / 288 » Models for Trustworthy Service and Process Oriented Systems |
186
click to vote
DEXAW
1998
IEEE
15 years 11 months ago
1998
IEEE
Huge size and high complexity of legacy software are the main sources of today's software evolution problems. While we can ease software evolution with re-engineering tools, ...
255
click to vote
CMG
2008
15 years 8 months ago
2008
One of the challenges in building analytic performance models such as queuing network models is obtaining service demands for the various workloads and various devices. While some...
224
Voted
IEEEHPCS
2010
15 years 5 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
193
click to vote
JUCS
2010
15 years 5 months ago
2010
: For many complex and dynamic ubiquitous services, context-aware cooperation can be a solution. However, the way is not yet clear to make individual objects cooperate with each ot...
194
click to vote
WEBI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—Customization of systems is costly, but it is necessary to better meet the needs of multi-various tasks and requirements in the fields such as medical care, education, ...