3914 search results - page 357 / 783 » Automating SLA modeling |
204
click to vote
DATE
2005
IEEE
16 years 12 days ago
2005
IEEE
UML 2.0 provides a rich set of diagrams for systems documentation and specification. Many efforts have been undertaken to employ different aspects of UML for multiple domains, mai...
171
click to vote
SAT
2005
Springer
16 years 8 days ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
176
click to vote
CSL
2004
Springer
16 years 5 days ago
2004
Springer
Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighborhood of its free variables. Such n...
199
click to vote
UML
2004
Springer
16 years 3 days ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
197
click to vote
ICEIS
2000
IEEE
15 years 11 months ago
2000
IEEE
: In modern organisations the monolithic information systems of the past are being gradually replaced by networked systems, enabling distributed computing often based on multi-agen...