2407 search results - page 433 / 482 » A Tool for Abstraction in Model Checking |
AGENTS
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. One of the reasons for attending to agent technology is the evergrowing complexity of information systems and the increasing difficulty to foresee and plan for all potent...
IPPS
1999
IEEE
15 years 2 months ago
1999
IEEE
Abstract. Conventional performance environments are based on pro ling and event instrumentation. It becomes problematic as parallel systems scale to hundreds of nodes and beyond. A...
IFIP
1998
Springer
15 years 1 months ago
1998
Springer
The flexible integration of a range of disparate IT applications is a key requirement for today's global enterprises. The virtual enterprise, formed by a collection of collab...
MICCAI
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. The registration of multimodal medical images is an important tool in surgical applications, since different scan modalities highlight complementary anatomical structures...
CSL
1992
Springer
15 years 1 months ago
1992
Springer
We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...