4890 search results - page 386 / 978 » From system specifications to component behavioral models |
199
click to vote
DAC
2008
ACM
16 years 8 months ago
2008
ACM
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
190
click to vote
ICALT
2007
IEEE
16 years 1 months ago
2007
IEEE
Accommodating learning styles in adaptive educational systems represents an important step towards providing individualized instruction. The paper summarizes the main results repo...
203
click to vote
SQJ
2008
15 years 7 months ago
2008
: As business transitions into the new economy, e-system successful use has become a strategic goal. Especially in business to consumer (e-commerce) applications, users highly eval...
201
click to vote
SAC
2003
ACM
16 years 8 days ago
2003
ACM
Workflow technology plays a key role as an enabler in E-Commerce applications, such as supply chains. Until recently the major share of the attention of workflow systems researche...
208
click to vote
DBSEC
2000
15 years 8 months ago
2000
There are many technologies for distributed processing/interoperation, including CORBA, DCE, DCOM, Enterprise Java Beans, Java IDL, JDBC, etc. Most promising, is the emergence of ...