409 search results - page 25 / 82 » Approaching a Discrete-Continuous UML: Tool Support and Form... |
GC
2004
Springer
15 years 5 months ago
2004
Springer
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...
ECSQARU
2007
Springer
15 years 5 months ago
2007
Springer
Problems of conceptual uncertainty have been dealt with in theories of formal logic. Such theories try to accommodate vagueness in two main ways. One is fuzzy logic that introduces...
FIW
2009
14 years 9 months ago
2009
Policies are convenient means to modify system behaviour at run-time. Nowadays, policies are created in great numbers by different actors, ranging from system administrators to lay...
129
click to vote
SOSYM
2002
14 years 11 months ago
2002
Abstract. There is rapidly growing momentum for web enabled agents that reason about and dynamically integrate the appropriate knowledge and services at run-time. The dynamic integ...
DAGSTUHL
2003
15 years 1 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...