2851 search results - page 119 / 571 » Operationalizing Conceptual Models Based on a Model of Depen... |
137
click to vote
ICIAP
1997
ACM
15 years 11 months ago
1997
ACM
Analysis by image synthesis using CG has attracted wide attention in machine vision. This paper proposes a method ofmodeling and synthesizingpearls thatwillbe thecentraltechniqueof...
204
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
Context-aware applications adapt their behavior depending on changes in their environment context. Programming such applications in a modular way requires to modularize the global ...
164
click to vote
ISBI
2002
IEEE
16 years 7 months ago
2002
IEEE
In the present paper we propose a method for fast segmentation of ultrasound data. It is based on setting up a model depending on user input. We apply a matching scheme in order t...
198
click to vote
ECBS
2010
IEEE
16 years 1 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
220
click to vote
ISAS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...