1541 search results - page 252 / 309 » Tools and Techniques for Model Checking Networked Programs |
137
Voted
ICSE
2010
IEEE-ACM
14 years 10 months ago
2010
IEEE-ACM
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...
108
Voted
WSCG
2004
15 years 1 months ago
2004
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...
121
Voted
ACMICEC
2008
ACM
15 years 2 months ago
2008
ACM
Supply Chain Management (SCM) involves a number of interrelated activities from negotiating with suppliers to competing for customer orders and scheduling the manufacturing proces...
120
click to vote
SIGSOFT
2001
ACM
16 years 1 months ago
2001
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
107
Voted
POPL
2000
ACM
15 years 4 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...