9018 search results - page 451 / 1804 » 3D-Brain Model Software |
205
click to vote
ECLIPSE
2004
ACM
16 years 9 days ago
2004
ACM
This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...
207
click to vote
ASWEC
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, both a UML model of requirement and a UML model of a design are defined as a pair of class diagram and a family of sequence diagrams. We then give an unified semant...
181
click to vote
HICSS
2003
IEEE
16 years 5 days ago
2003
IEEE
This paper is focused on the coordination of order and production policy between buyers and suppliers in supply chains. When a buyer and a supplier of an item work independently, ...
216
click to vote
ICPPW
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper reports our experiences on the Scalable Network Of Workstation (SNOW) project, which implements a novel methodology to support user-level process migration for traditio...
204
click to vote
SPAA
2010
ACM
15 years 11 months ago
2010
ACM
Transactional Memory (TM) is a promising technique that simplifies parallel programming for shared-memory applications. To date, most TM systems have been designed to efficientl...