2556 search results - page 166 / 512 » The Triconnected Abstraction of Process Models |
183
click to vote
FASE
2003
Springer
16 years 8 days ago
2003
Springer
Abstract. One of the principal uses of UML is the modelling of synchronous object-oriented software systems, in which the behaviour of each of several classes is modelled using a s...
156
Voted
BIOADIT
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper we propose an analytical model for file diffusion in a peer-to-peer (P2P) file-sharing network based on biological epidemics. During the downloading process...
246
click to vote
WCE
2008
15 years 8 months ago
2008
Abstract Emotion, personality and individual differences are those effective parameters on human's activities such as learning. People with different personalities show differ...
239
Voted
ENTCS
2006
15 years 7 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
217
click to vote
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This work focuses on characterizing scenery images. We semantically divide the objects in natural landscape scenes into background and foreground and show that the shapes...