2171 search results - page 306 / 435 » A Generic Process Algebra |
120
click to vote
CHES
2001
Springer
15 years 8 months ago
2001
Springer
A variation of the Complex Multiplication (CM) method for generating elliptic curves of known order over finite fields is proposed. We give heuristics and timing statistics in th...
111
click to vote
CONCUR
2001
Springer
15 years 8 months ago
2001
Springer
It has long been recognised that standard process algebra has difficulty dealing with actions of different priority, such as for instance an interrupt action of high priority. Va...
149
click to vote
UML
2001
Springer
15 years 8 months ago
2001
Springer
UML is the de-facto standard language for Object-Oriented analysis and design of information systems. Persistent storage and extraction of data in such systems is supported by dat...
132
click to vote
IDEAS
2000
IEEE
15 years 8 months ago
2000
IEEE
Most operations of the relational algebra or SQL - like projection with duplicate elimination, join, ordering, group by and aggregations - are efficiently processed using a sorted...
129
click to vote
IEAAIE
1999
Springer
15 years 8 months ago
1999
Springer
This paper presents a strategy to handle incomplete knowledge during acquisition process. The goal of this research is to develop formal tools that benefit the law of semantic bala...