570 search results - page 73 / 114 » Web-Based Feature Reduction System: A Case Study |
ENTCS
2006
14 years 10 months ago
2006
Means for the representation of variability in UML 2.0 interactions, as presented in a previous work, are further formalised and given a mathematically formal semantics. In this w...
ENVSOFT
2006
14 years 10 months ago
2006
The lack of sufficient water quality data in many places hinders the efforts of surface water quality modeling, and therefore affects the process of water quality management. In t...
JOT
2008
14 years 10 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
IFIP
2007
Springer
15 years 4 months ago
2007
Springer
Service-oriented architecture (SOA) will form the basis of future information systems. Web services are a promising way to implement SOA enabling the loose coupling of functionalit...
POLICY
2007
Springer
15 years 4 months ago
2007
Springer
A VoIP PBX supports flexible call handling functionality for selective forwarding, cost based outward call routing, recording calls etc. Both users and administrators need a flexi...