1341 search results - page 255 / 269 » Logic for Modeling Product Structure |
112
click to vote
ENTCS
2007
14 years 11 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-...
105
Voted
ICSE
2008
IEEE-ACM
16 years 19 days 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...
ICCAD
2003
IEEE
15 years 8 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...
OOPSLA
2004
Springer
15 years 5 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...
171
click to vote
TASE
2011
IEEE
14 years 6 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...