1397 search results - page 185 / 280 » Manufacturing Modeling using Process Nets with Resources |
117
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
128
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
119
click to vote
ICPADS
2006
IEEE
15 years 10 months ago
2006
IEEE
Using simulations of a complex system such as a Web Application Server provides us with a tool that allows the running of tests without using the resources needed in a real system...
159
click to vote
KIVS
1999
Springer
15 years 8 months ago
1999
Springer
Multimedia presentations are applicable in various domains such as advertising, commercial presentations or education. Multimedia presentations are described by multimedia documen...
128
click to vote
RTCSA
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper describes an architecture and runtime system to implement distributed control and data processing applications in a thin-client manner, suitable for implementing a thin...