15401 search results - page 2810 / 3081 » Software in Automotive Systems |
174
click to vote
CLEF
2005
Springer
16 years 26 days ago
2005
Springer
EuroGOV is a multilingual web corpus that was created to serve as the document collection for WebCLEF, the CLEF 2005 web retrieval task. EuroGOV is a collection of web pages crawl...
214
click to vote
ESWS
2005
Springer
16 years 26 days ago
2005
Springer
The power of Web Service (WS) technology lies in the fact that it establishes a common, vendor-neutral platform for integrating distributed computing applications, in intranets as ...
184
click to vote
FOSSACS
2005
Springer
16 years 26 days ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
161
click to vote
FPL
2005
Springer
16 years 26 days ago
2005
Springer
This paper describes a method based on polynomial approximation for transferring ROM resources used in FPGA designs to multiplication and addition operations. The technique can be...
211
click to vote
FSTTCS
2005
Springer
16 years 25 days ago
2005
Springer
Abstract. Message sequence charts (MSCs) are commonly used to specify interactions between agents in communicating systems. Their visual nature makes them attractive for describing...