Sciweavers

2922 search results - page 241 / 585
» On Relationships Between Query Models
Sort
View
DLOG
2010
15 years 1 months ago
Checking Full Satisfiability of Conceptual Models
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
Alessandro Artale, Diego Calvanese, Yazmin Ang&eac...
NOMS
2002
IEEE
130views Communications» more  NOMS 2002»
15 years 8 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
15 years 5 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»
15 years 3 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
145
Voted
FATES
2006
Springer
15 years 7 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