100 search results - page 13 / 20 » Toward tool support for interactive synthesis |
CORR
2006
Springer
13 years 10 months ago
2006
Springer
Oftentimes, the need to build multidiscipline knowledge bases, oriented to policy scenarios, entails the involvement of stakeholders in manifold domains, with a juxtaposition of d...
CN
1998
13 years 10 months ago
1998
The World Wide Web is becoming increasingly important in the provision of education, as recognised by several high profile UK government reports. Improved tools for developing We...
UML
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
AICT
2006
IEEE
14 years 4 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
HASE
1997
IEEE
14 years 3 months ago
1997
IEEE
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...