3199 search results - page 131 / 640 » Variability in Automation System Models |
123
click to vote
CSL
2001
Springer
15 years 7 months ago
2001
Springer
In this paper, we introduce decidable multimodal logics to describe and reason about navigation across object structures. The starting point of these navigation logics is the model...
130
click to vote
KBSE
2002
IEEE
15 years 7 months ago
2002
IEEE
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...
163
click to vote
TMI
2011
14 years 9 months ago
2011
—Due to the enormous potential and impact that stem cells may have on regenerative medicine, there has been a rapidly growing interest for tools to analyze and characterize the b...
139
Voted
ICEBE
2005
IEEE
15 years 8 months ago
2005
IEEE
Uncertainty always exists as an unavoidable factor when developing context-aware applications for pervasive computing environments [1][2][3][4]. In this paper, we propose a unifie...
119
click to vote
EDOC
2008
IEEE
15 years 9 months ago
2008
IEEE
Business processes used in networked business are often large and complex, which makes them difficult to manage and change. In this paper we address this lack of flexibility by pr...