Sciweavers

2261 search results - page 174 / 453
» Relationships Between Models of Concurrency
Sort
View
NOMS
2002
IEEE
130views Communications» more  NOMS 2002»
14 years 1 months ago
End-to-end service failure diagnosis using belief networks
We present fault localization techniques suitable for diagnosing end-to-end service problems in communication systems with complex topologies. We refine a layered system model th...
Malgorzata Steinder, Adarshpal S. Sethi
BIRTHDAY
2008
Springer
13 years 10 months ago
A Heterogeneous Approach to UML Semantics
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
María Victoria Cengarle, Alexander Knapp, A...
BC
2006
71views more  BC 2006»
13 years 8 months ago
The Main Sequence of Saccades Optimizes Speed-accuracy Trade-off
Abstract In primates, it is well known that there is a consistent relationship between the duration, peak velocity and amplitude of saccadic eye movements, known as the `main seque...
Christopher M. Harris, Daniel M. Wolpert
FATES
2006
Springer
13 years 12 months ago
Dynamic Architecture Extraction
Abstract. Object models capture key properties of object-oriented architectures, and they can highlight relationships between types, occurrences of sharing, and object encapsulatio...
Cormac Flanagan, Stephen N. Freund
FMOODS
2008
13 years 9 months ago
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus
We analyse the relationship between object-oriented modelling and session-based, service-oriented modelling, starting from a typical UML Sequence Diagram and providing a program tr...
Luís Cruz-Filipe, Ivan Lanese, Francisco Ma...