4341 search results - page 414 / 869 » Quantitative Model checking |
189
Voted
AOSD
2010
ACM
16 years 1 months ago
2010
ACM
Aspect-Oriented Modeling (AOM) provides support for separating concerns at the design level. Even though most AOM approaches provide means to execute the composition of the modula...
197
Voted
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
—The departure process of a BMAP/MAP/1 queue can be approximated in different ways: as a Markovian arrival process (MAP) or as a matrix-exponential process (MEP). Both approximat...
196
Voted
ISBI
2007
IEEE
16 years 1 months ago
2007
IEEE
Many techniques of knowledge-based segmentation consist of building statistical models that describe the deformations of the structure of interest, and then fit these models to t...
160
click to vote
ROMAN
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—This paper addresses a so far neglected area of human-robot interaction by approaching situation awareness from the point of view of naïve users. In particular, we pres...
181
click to vote
SEFM
2005
IEEE
16 years 13 days ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...