1728 search results - page 193 / 346 » Formal Modeling of Process Migration |
142
click to vote
CALCO
2005
Springer
15 years 8 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
118
click to vote
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
105
click to vote
FOAL
2009
ACM
15 years 9 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
114
click to vote
CAISE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Internet users are becoming increasingly concerned about their personal information being collected and used by Web service providers. They want to ensure that it is stor...
IEAAIE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...