7785 search results - page 545 / 1557 » The Concept of Dynamic Analysis |
197
click to vote
DAWAK
2010
Springer
15 years 8 months ago
2010
Springer
Facts are multidimensional concepts of primary interests for knowledge workers because they are related to events occurring dynamically in an organization. Normally, these concepts...
207
click to vote
ADT
2005
15 years 7 months ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
168
click to vote
DKE
2000
15 years 7 months ago
2000
: The duality of objects and relationships is so deeply embedded in our thinking that almost all modelling languages include it as a fundamental distinction. Yet there is evidence ...
273
click to vote
CGF
2010
15 years 2 months ago
2010
This paper presents an approach to a time-dependent variant of the concept of vector field topology for 2-D vector fields. Vector field topology is defined for steady vector field...
175
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...