22114 search results - page 156 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
JOT
2008
13 years 8 months ago
2008
In recent years, agent-based systems have received considerable attention in both academics and industry. The agent-oriented paradigm can be considered a natural extension to the ...
OTM
2005
Springer
14 years 1 months ago
2005
Springer
We propose a formal definition of a pervasive service model targeting the very dynamic environments typical of mobile application scenarios. The model is based on a requirement an...
COMPSAC
2010
IEEE
13 years 6 months ago
2010
IEEE
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sy...
SETP
2007
13 years 9 months ago
2007
Requirement analysis continues to be one of the most critical and challenging phases during the software development process. Many object-oriented methodologies identify three pri...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. Whil...