3828 search results - page 406 / 766 » Proof-Based System Engineering Using a Virtual System Model |
154
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
This paper is meant to motivate tools and methods research in the field of model-based embedded software development. In particular, we include usage scenarios to describe how an a...
172
click to vote
ESCIENCE
2006
IEEE
2006
IEEE
CIMA Based Remote Instrument and Data Access: An Extension into the Australian e-Science Environment
16 years 25 days ago
The Common Instrument Middleware Architecture (CIMA) is being used as a core component of a portal based remote instrument access system being developed as an Australian e-Science...
158
click to vote
HPDC
2005
IEEE
16 years 11 days ago
2005
IEEE
Optical networking may dramatically change high performance distributed computing. One reason is that optical networks can support provisioning dynamically configurable lightpath...
170
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Virtual agents designed to establish relationships with more than one user must be able to identify and distinguish among those users with high reliability. We descr...
193
click to vote
JOT
2010
15 years 1 months ago
2010
Model composition is a crucial activity in Model Driven Engineering (MDE). It is particularly useful when adopting a multi-modeling approach to analyze and design software systems...