767 search results - page 125 / 154 » Evolving Software Architecture Descriptions of Critical Syst... |
118
click to vote
DLOG
2003
15 years 1 months ago
2003
Agent systems that search the Semantic Web are seen as killer applications for description logic (DL) inference engines. The guiding examples for the Semantic Web involve informat...
111
click to vote
TASE
2007
IEEE
15 years 6 months ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
NETWORK
2007
14 years 11 months ago
2007
Programmable network interfaces can provide network servers with a flexible interface to high-bandwidth Ethernet links, but they face critical software and architectural challenge...
LCTRTS
2004
Springer
15 years 5 months ago
2004
Springer
The overhead in terms of code size, power consumption and execution time caused by the use of precompiled libraries and separate compilation is often unacceptable in the embedded ...
124
click to vote
DAC
2004
ACM
15 years 3 months ago
2004
ACM
This paper presents new technology that accelerates system verification. Traditional methods for verifying functional designs are based on logic simulation, which becomes more tim...