4356 search results - page 587 / 872 » Communicating Transactions - (Extended Abstract) |
175
click to vote
LCTRTS
2005
Springer
16 years 5 days ago
2005
Springer
This paper introduces the notion of transparent distribution of real time software components. Transparent distribution means that (1) the functional and temporal behavior of a sy...
179
click to vote
LPAR
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
156
click to vote
MIS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Music description is nowadays considered an important matter in Information and Communication Technology. The encoding formats commonly accepted and employed are often ch...
148
Voted
OTM
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The storing of data and configuration files related to scientific experiments is vital if those experiments are to remain reproducible, or if the data is to be shared ...
149
click to vote
OTM
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In this paper we present a novel approach to design and implement applications that provide location-aware services. We show how a clear separation of design concerns (e....