623 search results - page 95 / 125 » Relational Parametricity for Control Considered as a Computa... |
PIMRC
2008
IEEE
15 years 6 months ago
2008
IEEE
—Multi-cell Cooperative Processing (MCP) has been recognised as an efficient technique for increasing spectral efficiency of future cellular systems. However the provided bene...
113
click to vote
EDOC
2005
IEEE
15 years 5 months ago
2005
IEEE
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...
104
click to vote
ICPADS
2005
IEEE
15 years 5 months ago
2005
IEEE
The evaluation of QoS requirements is one of the critical functions that span both the design and the run-time phases of QoS management. This paper presents an architecture for Qo...
VLDB
2005
ACM
15 years 5 months ago
2005
ACM
Vehicle tracking data is an essential “raw” material for a broad range of applications such as traffic management and control, routing, and navigation. An important issue with...
SIGDOC
2004
ACM
15 years 5 months ago
2004
ACM
Software publishers and information service providers publish information about their own products and about other products and people. Additional content might be incidental, suc...