3706 search results - page 445 / 742 » The Transformational Approach to Program Development |
130
Voted
IIWAS
2008
15 years 6 months ago
2008
Based on top of Web protocols and XML language, Web services are emerging as a framework to provide applicationto-application interaction. An important challenge is their integrat...
123
click to vote
SIAMADS
2010
14 years 11 months ago
2010
Lubrication equations describe many structuring processes of thin liquid films. We develop and apply a numerical framework suitable for their analysis employing a dynamical systems...
170
click to vote
ICALP
1993
Springer
15 years 9 months ago
1993
Springer
The divide-and-conquer principle is a majoi paradigm of algorithms design. Corresponding cost functions satisfy recurrences that directly reflect the decomposition mechanism used i...
132
click to vote
ALT
2003
Springer
16 years 1 months ago
2003
Springer
Inductive inference is concerned with algorithmic learning of recursive functions. In the model of learning in the limit a learner successful for a class of recursive functions mus...
138
click to vote
ICCAD
2003
IEEE
16 years 1 months ago
2003
IEEE
– Many embedded system designs usually impose (hard) read-time constraints on tasks. Thus, computing a tight upper bound of the worst case execution time (WCET) of a software is ...