4346 search results - page 398 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
150
click to vote
ICAC
2005
IEEE
16 years 11 days ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
158
click to vote
CAINE
2007
15 years 8 months ago
2007
Realism has always been a goal in computer graphics. However, the algorithms involved in mimicking ical world are often complex, abstract, and sensitive to changes in experimental...
212
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: Changing business requirements such as providing new business services lead to an ongoing need for fast and flexible adaptation of the underlying information systems and infrastr...
177
click to vote
DSOM
2004
Springer
16 years 4 days ago
2004
Springer
In this paper, we describe an approach for automatically generating configurations for complex applications. Automated generation of system co nfigurations is required to allow lar...
178
click to vote
PODC
2010
ACM
15 years 7 months ago
2010
ACM
Mutual exclusion is used to coordinate access to shared resources by concurrent processes. k-Exclusion is a variant of mutual exclusion in which up to k processes can simultaneous...