1065 search results - page 140 / 213 » Droidel: a general approach to Android framework modeling |
ACMSE
2006
ACM
15 years 1 months ago
2006
ACM
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
ETRICS
2006
15 years 1 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
CONCUR
2008
Springer
14 years 11 months ago
2008
Springer
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...
IJAR
2008
14 years 9 months ago
2008
Qualitative spatial information plays a key role in many applications. While it is well-recognized that all but a few of these applications deal with spatial information that is a...
ICIP
2009
IEEE
14 years 7 months ago
2009
IEEE
Due to the presence of speckle, segmentation of SAR images is generally acknowledged as a difficult problem. A large effort has been done in order to cope with the influence of sp...