753 search results - page 56 / 151 » Fragments-based Model Reduction: Some Case Studies |
COMPGEOM
2001
ACM
14 years 16 days ago
2001
ACM
We present two approaches to the problem of calculating a cell in a 3-dimensional arrangement of quadrics. The first approach solves the problem using rational arithmetic. It work...
FGCS
2000
13 years 8 months ago
2000
Ant colonies, and more generally social insect societies, are distributed systems that, in spite of the simplicity of their individuals, present a highly structured social organiz...
ICST
2009
IEEE
13 years 6 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
HCI
2007
13 years 10 months ago
2007
The author reviewed and participated in several exemplar industry projects from the Indian IT industry to study the integration of human-computer interaction (HCI) design into soft...
CCE
2004
13 years 8 months ago
2004
This paper presents some new concepts and procedures for financial risk management. To complement the use of value at risk a new concept, upside potential or opportunity value as ...