23436 search results - page 4426 / 4688 » Architecture |
185
click to vote
RULEML
2005
Springer
16 years 23 days ago
2005
Springer
We show the first detailed realistic e-business application scenario that uses and exploits capabilities of the SweetRules V2.1 toolset for e-contracting using the SweetDeal approa...
217
click to vote
SEMWEB
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. Domain ontologies very rarely model verbs as relations holding between concepts. However, the role of the verb as a central connecting element between concepts is undenia...
193
click to vote
SPIN
2005
Springer
16 years 23 days ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
227
click to vote
UML
2005
Springer
16 years 22 days ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
207
click to vote
UML
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development. Reliability is an ...