564 search results - page 58 / 113 » Corner cutting systems |
RTCSA
1999
IEEE
14 years 1 months ago
1999
IEEE
The lifecycle for industrial applications are becoming shorter, the application complexity increases, performance is to low, fault tolerance is required, reuse of components is de...
RTA
2010
Springer
14 years 28 days ago
2010
Springer
In usual proof systems, like the sequent calculus, only a very limited way of combining proofs is available through the tree structure. We present in this paper a logicindependent ...
EICS
2009
ACM
14 years 27 days ago
2009
ACM
Ubiquitous computing poses new usability challenges that cut across design and development. We are particularly interested in "spaces" enhanced with sensors, public disp...
ISSA
2004
13 years 10 months ago
2004
Nearly all present-day commercial intrusion detection systems are based on a hierarchical architecture. Nodes at the bottom of the hierarchy collect information, which is passed t...
ESOP
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. We present a framework that automatically produces suggestions to resolve type errors in security-typed programs, enabling legacy code to be retrofit with comprehensive s...