3081 search results - page 284 / 617 » A Formal Ontology of Properties |
195
click to vote
DSVIS
2005
Springer
16 years 5 days ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
254
click to vote
FAABS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
170
click to vote
SAS
2004
Springer
16 years 7 hour ago
2004
Springer
hedron Abstract Domain Robert Claris´o and Jordi Cortadella Universitat Polit`ecnica de Catalunya Barcelona, Spain Abstract. An interesting area in static analysis is the study of...
174
click to vote
ACSD
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...
189
click to vote
ACSD
2003
IEEE
15 years 12 months ago
2003
IEEE
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems ple levels of abstraction, so that the design space can be effectively...