1525 search results - page 162 / 305 » Formal Models for Communication-Based Design |
CANDC
2007
ACM
13 years 10 months ago
2007
ACM
Every musician who improvises has a unique musical vocabulary, which may be perceived in his or her compositions. In this paper, we explain our design of a computational model tha...
CGF
2008
13 years 8 months ago
2008
We present a system for creating and manipulating layered procedural surface editing operations, which is motivated by the limited support for iterative design in free-form modeli...
WISE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. E-Negotiation is the process of conducting negotiations between business partners using electronic means. The interest in e-negotiation is motivated by its potential to p...
MTV
2003
IEEE
14 years 1 months ago
2003
IEEE
Bounded Model Checking (BMC) techniques have been used for formal hardware verification, with the help of tools such as GRASP (Generic search Algorithm for Satisfiability Proble...
CSCWD
2001
Springer
14 years 23 days ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...