Sciweavers

3318 search results - page 170 / 664
» The Weak Instance Model
Sort
View
ECEASST
2006
111views more  ECEASST 2006»
13 years 8 months ago
Improving the OCL Semantics Definition by Applying Dynamic Meta Modeling and Design Patterns
OCL is a standard specification language, which will probably be supported by most software modeling tools in the near future. Hence, it is important to OCL to have a solid formal ...
Juan Martin Chiaradía, Claudia Pons
JTAER
2007
90views more  JTAER 2007»
13 years 8 months ago
One-size e-business adoption model does not fit all
This empirical study of organisational e-business adoption, utilising both qualitative and quantitative data collection methods, examines four major factors influencing adoption i...
Barbara Roberts, Mark Toleman
CVPR
2012
IEEE
11 years 10 months ago
Sum-product networks for modeling activities with stochastic structure
This paper addresses recognition of human activities with stochastic structure, characterized by variable spacetime arrangements of primitive actions, and conducted by a variable ...
Mohamed R. Amer, Sinisa Todorovic
CORR
2010
Springer
58views Education» more  CORR 2010»
13 years 8 months ago
Timed Automata Semantics for Analyzing Creol
ir end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.
Mohammad Mahdi Jaghoori, Tom Chothia
RSA
2008
78views more  RSA 2008»
13 years 7 months ago
How many random edges make a dense hypergraph non-2-colorable?
: We study a model of random uniform hypergraphs, where a random instance is obtained by adding random edges to a large hypergraph of a given density. The research on this model fo...
Benny Sudakov, Jan Vondrák