3828 search results - page 346 / 766 » Proof-Based System Engineering Using a Virtual System Model |
170
click to vote
JSS
2006
15 years 6 months ago
2006
This paper describes an approach to the feature location problem for distributed systems, that is, to the problem of locating which code components are important in providing a pa...
176
Voted
CODES
2006
IEEE
16 years 23 days ago
2006
IEEE
The use of Application Specific Instruction-set Processors (ASIP) is a solution to the problem of increasing complexity in embedded systems design. One of the major challenges in...
195
click to vote
ISSRE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Driven by market needs and laws, automotive manufacturers develop ever more feature-rich and complex vehicles. This new functionality plays even an active role in driving, what ...
160
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Deformation at contacts between the workpiece and locators/clamps resulting from large contact forces causes overall workpiece displacement, and affects the localization accuracy o...
199
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we describe mechanisms for execution monitoring of semantic web services, based on OWL-S. The use of semantic descriptions and ontologies is a valuable extension to ...