5105 search results - page 430 / 1021 » Approximate Structural Consistency |
156
click to vote
EP
1998
Springer
15 years 11 months ago
1998
Springer
This article presents mathematical tools for computer-generated ornamental patterns, with a particular attention payed to Islamic patterns. The article shows how, starting from a p...
174
click to vote
LCTRTS
1998
Springer
15 years 11 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
192
click to vote
EMISA
2006
Springer
15 years 10 months ago
2006
Springer
: This paper summarizes how an algebra for mobile systems, the -calculus, can be applied as unified formal foundation to service oriented architectures (SOA). The concepts accounte...
204
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
194
click to vote
CAISE
1995
Springer
15 years 10 months ago
1995
Springer
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...