1341 search results - page 255 / 269 » Logic for Modeling Product Structure |
137
Voted
ENTCS
2007
15 years 1 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
123
Voted
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from...
101
click to vote
ICCAD
2003
IEEE
15 years 10 months ago
2003
IEEE
Ultra-deep submicron manufacturability impacts physical design (PD) through complex layout rules and large guardbands for process variability; this creates new requirements for ne...
104
Voted
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
In the domain of hard real-time systems, which language is better: C++ or the Real-Time Specification for Java (RTSJ)? Although standard Java provides a more productive programmin...
191
Voted
TASE
2011
IEEE
14 years 8 months ago
2011
IEEE
—In this paper, we present a new sketch-based system — KnitSketch, to improve the efficiency of process planning for knitting garments at an early design stage. The KnitSketch...