3883 search results - page 421 / 777 » Design mentoring based on design evolution analysis |
166
click to vote
QI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Information systems are socio-technical systems. Their design, analysis and implementation requires appropriate languages for representing social and technical concepts. ...
199
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
142
click to vote
DATE
2005
IEEE
16 years 13 days ago
2005
IEEE
Application of Microelectronic to bioanalysis is an emerging field which holds great promise. From the standpoint of electronic and system design, biochips imply a radical change ...
162
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
A general framework is presented for the design and analysis of cobot controllers. Cobots are inherently passive robots intended for direct collaborative work with a human operator...
202
click to vote
LISA
2007
15 years 9 months ago
2007
We present an architecture1 designed for alert verification (i.e., to reduce false positives) in network intrusion-detection systems. Our technique is based on a systematic (and a...