1306 search results - page 61 / 262 » A Diagrammatic Approach to Model Completion |
151
click to vote
TASE
2007
IEEE
16 years 12 days ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
143
click to vote
ALIFE
1998
15 years 5 months ago
1998
The soil nematode Caenorhabditis Elegans (C. elegans) is the most investigated of all multi-cellular organisms. Since the proposal to use it as a model organism, a series of resea...
153
click to vote
STEP
2005
IEEE
15 years 11 months ago
2005
IEEE
With the advent of UML and MDA, models play an increasingly important role in software development. Hence, the management of the quality of models is of key importance for complet...
172
click to vote
ICRA
2008
IEEE
16 years 17 days ago
2008
IEEE
— Local linearizations are ubiquitous in the control of robotic systems. Analytical methods, if available, can be used to obtain the linearization, but in complex robotics system...
215
click to vote
ICWS
2010
IEEE
15 years 4 months ago
2010
IEEE
Given the large amount of existing services and the diversified needs nowadays, it is time-consuming for end-users to find appropriate services. To help end-users obtain their desi...