7080 search results - page 403 / 1416 » Designing High Integrity Systems Using Aspects |
142
click to vote
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
Simulation and optimization of complex mechanical and electronical systems is a very time consuming and computationally intensive task. Therefore, metamodeling techniques are ofte...
149
click to vote
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
150
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
- We are developing a process to quickly prototype millirobotic systems in which the approach is to identify and develop a construction kit for fabricating almost any design, simil...
132
click to vote
IRI
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we propose an alignment-based surface pattern approach, called ABSP, which integrates semantic information into syntactic patterns for question answering (QA). ABSP...
130
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Work processes are conducted in various contexts and they involve different tasks, interruptions, activities and actions. In all of these, tacit knowledge plays a part. Some part ...