2963 search results - page 547 / 593 » An architecture for generic extensions |
214
click to vote
DAC
2011
ACM
14 years 6 months ago
2011
ACM
SystemC is a popular modeling language which can be used to specify systems at bstraction level. Currently, SystemC tools can not cope with SystemC models for which the module hie...
174
click to vote
FEDCSIS
2011
14 years 6 months ago
2011
—Collaborative mechanisms between services are a crucial aspect in the recent development of pervasive computing systems based on the paradigm of service-oriented architecture. C...
186
click to vote
CODASPY
2012
14 years 2 months ago
2012
Main stream operating system kernels lack a strong and reliable mechanism for identifying the running processes and binding them to the corresponding executable applications. In t...
182
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
191
click to vote
ACSW
2007
15 years 7 months ago
2007
An infrastructure for remote instrument access, data acquisition and data management is being developed for e-Research. The Common Instrument Middleware Architecture (CIMA) is bei...