1613 search results - page 124 / 323 » Model-Driven Constraint Engineering |
112
Voted
FSTTCS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In [12] we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the ...
141
Voted
CODES
1998
IEEE
15 years 8 months ago
1998
IEEE
The HW/SW partitioning problem addressed in this paper is one of the key steps in the co-design flow of heterogeneous embedded systems. Generally the aim is to provide solutions t...
155
Voted
WETICE
1996
IEEE
15 years 7 months ago
1996
IEEE
Communication and coordination play an important role in achieving concurrency in the design of large complex artifacts. It is also widely accepted that design is constraint orien...
139
Voted
ACL
1998
15 years 5 months ago
1998
A large spoken dialogue translation system imposes both engineering and linguistic constraints on the way in which linguistic information is communicated between modules. We descr...
117
click to vote
SPLC
2008
15 years 5 months ago
2008
SAT solvers technology is now mature enough to be part of the engineer toolbox side by side with Mixed Integer Programming and Constraint Programming tools. As of June 2008, two g...