1305 search results - page 20 / 261 » The design context of concurrent computation systems |
143
click to vote
B
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
DSVIS
2006
Springer
15 years 1 months ago
2006
Springer
This paper describes a platform for the user-centred design and evaluation of adaptive, context-aware services in the wireless, mobile and pervasive computing markets. It focuses o...
ISPE
2003
14 years 10 months ago
2003
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...
JPDC
2011
14 years 4 months ago
2011
As data volumes increase at a high speed in more and more application fields of science, engineering, information services, etc., the challenges posed by data-intensive computing...
VAMOS
2007
Springer
15 years 3 months ago
2007
Springer
The omnipresent integration of computer technology in everyday applications introduces new opportunities to make software systems aware of the context in which they are used. Such...