3828 search results - page 343 / 766 » Proof-Based System Engineering Using a Virtual System Model |
155
click to vote
ICRA
2005
IEEE
16 years 8 days ago
2005
IEEE
— This paper reports some recent analysis and modeling results obtained while developing a tele-robotic system for minimally invasive surgery of the throat. One of the main enabl...
157
click to vote
CSMR
2009
IEEE
15 years 11 months ago
2009
IEEE
A tool for Enterprise Architecture analysis using a probabilistic mathematical framework is demonstrated. The Model-View-Controller tool architecture is outlined, he use of the to...
168
click to vote
ICCS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Modeling is considered an inherent part of design, operation and optimization of Water Quality Systems. Models are used for running so-called Virtual Experiments, such as...
208
click to vote
SIGSOFT
2003
ACM
15 years 12 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
188
click to vote
COMPSYSTECH
2009
15 years 4 months ago
2009
: This work presents personalized web search using enhancing information extracted from context. Context reflects user profile, her interests, past searching experiences etc. It is...