1390 search results - page 127 / 278 » On the Algebraic Structure of Convergence |
154
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we introduce an approach for parameter controlled symbolic analysis of nonlinear analog circuits. Based on a state-of–the-art algorithm, it enables the removal of ...
171
click to vote
JMLC
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...
130
click to vote
VLDB
1997
ACM
15 years 10 months ago
1997
ACM
This paper describes the Array Manipulation Language (AML), an algebra for multidimensional array data. AML is generic, in the sense that it can be customized to support a wide va...
174
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...
145
click to vote
MOVEP
2000
15 years 10 months ago
2000
We propose a short bibliographic survey of calculi for mobile processes. Contrasting with other similar exercises, we consider two related, but distinct, notions of mobile processe...