Sciweavers

1541 search results - page 252 / 309
» Tools and Techniques for Model Checking Networked Programs
Sort
View
137
Voted
ICSE
2010
IEEE-ACM
14 years 10 months ago
Enhancing collaboration of multi-developer projects with synchronous changes
In a multi-developer project, team collaboration is essential for the success of the project. When team members are spread across different locations, informal interactions are lo...
Lile Hattori
108
Voted
WSCG
2004
173views more  WSCG 2004»
15 years 1 months ago
Production Interface for WEB-deliverable Realistic Interactive 3D Facial Animation
We present a new interface for producing high quality web deliverable interactive 3D facial animation. We aim at providing visual artists with established 3D character animation t...
Nicoletta Adamo-Villani, Amit Chourasia, Clark A. ...
121
Voted
ACMICEC
2008
ACM
270views ECommerce» more  ACMICEC 2008»
15 years 2 months ago
Adaptive strategies for predicting bidding prices in supply chain management
Supply Chain Management (SCM) involves a number of interrelated activities from negotiating with suppliers to competing for customer orders and scheduling the manufacturing proces...
Yevgeniya Kovalchuk, Maria Fasli
SIGSOFT
2001
ACM
16 years 1 months ago
Detecting implied scenarios in message sequence chart specifications
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
Jeff Kramer, Jeff Magee, Sebastián Uchitel
107
Voted
POPL
2000
ACM
15 years 4 months ago
Modular Refinement of Hierarchic Reactive Machines
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
Rajeev Alur, Radu Grosu