2060 search results - page 114 / 412 » The Composition of Event-B Models |
147
click to vote
APSEC
2002
IEEE
15 years 9 months ago
2002
IEEE
Reengineering legacy software systems to object oriented platforms has received significant attention over the past few years. In this paper, we propose a goal driven software mig...
122
click to vote
PODC
1995
ACM
15 years 7 months ago
1995
ACM
The Horus system supports a communication architecture ats protocols as instances of an abstract data type. This approach encourages developers to partition complex protocols into...
118
click to vote
ISF
2002
15 years 4 months ago
2002
Software agent-based negotiation is a major method to automate the interactions in electronic marketplaces and Internet enabled communities. The traditional approach is to let the...
118
click to vote
CBSE
2007
Springer
15 years 10 months ago
2007
Springer
In component-based software development, the design of components should be carried out separately from the deployment of components, in order to enable composition by independent ...
109
click to vote
SETN
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we propose an automatic mechanism for annotating XML documents. This mechanism relies on a simple data model whose main features are: (1) a modeling of XML documents ...