2042 search results - page 250 / 409 » The Design and Implementation of a Semantic Service Mediatio... |
178
click to vote
ENTCS
2007
15 years 6 months ago
2007
Automated deduction methods should be speciļ¬ed not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, diļ...
157
click to vote
DAIS
2003
15 years 7 months ago
2003
Abstract. There is growing trend to unify user-to-user messaging systems to allow message exchange, independent of time, place, protocol, and end-user device. Building gateways to ...
156
click to vote
DATE
2008
IEEE
16 years 29 days ago
2008
IEEE
Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manife...
182
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Middleware technologies often limit the way in which object classes may be used in distributed applications due to the fixed distribution policies that they impose. These policies...
169
click to vote
ASPDAC
2009
ACM
16 years 1 months ago
2009
ACM
Abstractā This paper presents synthesis of Hardware Dependent Software (HdS) for multicore and many-core designs using Embedded System Environment (ESE). ESE is a tool set, devel...