828 search results - page 23 / 166 » Modularity for Timed and Hybrid Systems |
141
click to vote
GLVLSI
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we propose an FPGA implementation of a multi protocol Weighted Fair (WF) queuing algorithm able to handle variable length packets targeted for Packet Over Sonet (POS...
131
Voted
KI
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we present a highly modular planning system architecture. It is based on a proper formal account of hybrid planning, which allows for the formal definition of (flex...
145
Voted
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We describe a text summarization system that moves beyond standard approaches by using a hybrid approach of linguistic and statistical analysis and by employing text-sort...
154
click to vote
ICSOC
2004
Springer
15 years 10 months ago
2004
Springer
Over the last few years several process-based web service composition languages have emerged, such as BPEL4WS and BPML. These languages define the composition on the basis of a pr...
130
click to vote
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...