1306 search results - page 61 / 262 » A Diagrammatic Approach to Model Completion |
98
Voted
TASE
2007
IEEE
15 years 6 months 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...
88
Voted
ALIFE
1998
15 years 8 days 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...
101
click to vote
STEP
2005
IEEE
15 years 6 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...
111
Voted
ICRA
2008
IEEE
15 years 7 months 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...
150
Voted
ICWS
2010
IEEE
14 years 10 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...