3130 search results - page 493 / 626 » Design Correctness of Digital Systems |
174
click to vote
ADAEUROPE
2005
Springer
16 years 18 hour ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
162
click to vote
CLEF
2005
Springer
16 years 9 hour ago
2005
Springer
This paper describes our participation at the GeoCLEF 2005 task. We detail the main software components of our Geo-IR system, its adaptation for the participation at GeoCLEF and d...
146
click to vote
OTM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In a service-oriented world, a long-running business process can be implemented as a set of stateful services that represent the individual but coordinated steps that mak...
215
click to vote
TGC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
179
click to vote
ACMSE
2004
ACM
15 years 12 months ago
2004
ACM
Notification interfaces that continuously present peripheral information have received increasing interest within the HCI community, especially those supporting awareness of other...