2268 search results - page 17 / 454 » The Essence of Form Abstraction |
118
click to vote
COMPSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
2. Previous studies on end-user computing The development of Web applications should be supported by business professionals themselves since Web applications must be modified frequ...
111
click to vote
FOIKS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In this paper, we present a syntactic method for solving firstorder equational constraints over term algebras. The presented method exploits a novel notion of quasi-solve...
144
click to vote
TCS
2011
14 years 8 months ago
2011
Abstract. We present the first fully dynamic algorithm for computing the characteristic polynomial of a matrix. In the generic symmetric case our algorithm supports rank-one updat...
116
click to vote
GI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
126
click to vote
CHES
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. In this paper we show how using a representation of an elliptic curve as the intersection of two quadrics in P3 can provide a defence against Simple and Differental Powe...