Sciweavers

537 search results - page 97 / 108
» The development process of the UN CEFACT modeling methodolog...
Sort
View
HICSS
2000
IEEE
153views Biometrics» more  HICSS 2000»
15 years 2 months ago
On Verifying Distributed Multithreaded Java Programs
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
Jessica Chen
DAC
1999
ACM
15 years 2 months ago
ipChinook: an Integrated IP-based Design Framework for Distributed Embedded Systems
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
Pai H. Chou, Ross B. Ortega, Ken Hines, Kurt Partr...
ERLANG
2008
ACM
14 years 12 months ago
Testing Erlang data types with quviq quickcheck
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
Thomas Arts, Laura M. Castro, John Hughes
TOG
2008
145views more  TOG 2008»
14 years 10 months ago
Feedback control of cumuliform cloud formation based on computational fluid dynamics
Clouds play an important role for creating realistic images of outdoor scenes. In order to generate realistic clouds, many methods have been developed for modeling and animating c...
Yoshinori Dobashi, Katsutoshi Kusumoto, Tomoyuki N...
URBAN
2008
83views more  URBAN 2008»
14 years 10 months ago
Automatic identification of urban settlement boundaries for multiple representation databases
Intuitive and meaningful interpretation of geographical phenomena requires their representation at multiple levels of detail. This is due to the scale dependent nature of their pr...
Omair Chaudhry, William A. Mackaness