1802 search results - page 151 / 361 » Using Declarative Specifications in Business Process Design |
135
Voted
IJSEKE
2006
15 years 2 months ago
2006
tion and alteration of software models at different levels of abstraction. These modifications are usually performed independently, but the objects to which they are applied to, ar...
100
click to vote
WSC
2007
15 years 5 months ago
2007
Simulation has long been a significant and powerful force for the improvement of manufacturing operations. More recently, it has been used to increase the efficiency, efficacy, an...
134
click to vote
IJWET
2008
15 years 2 months ago
2008
: Web services serve as a leading technology platform for web-based data-centric environments providing flexibility of loose coupling, message-based communication. Interest in more...
115
Voted
JUCS
2008
15 years 2 months ago
2008
: This paper describes the process of translating an adaptive sequencing strategy designed using Sequencing Graphs to the semantics of IMS Learning Design. The relevance of this co...
120
click to vote
DATE
1999
IEEE
1999
IEEE
Accounting for Various Register Allocation Schemes During Post-Synthesis Verification of RTL Designs
15 years 7 months ago
This paper reports a formal methodology for verifying a broad class of synthesized register-transfer-level (RTL) designs by accommodating various register allocation/optimization ...