3047 search results - page 258 / 610 » Aggregation functions: Means |
152
click to vote
GCSE
2001
Springer
15 years 8 months ago
2001
Springer
Architecture conception is a difficult and time consuming process, requiring advanced skills from the software architect. The tasks of an architect are alleviated if means can be p...
118
click to vote
IFL
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper is an extension of a previous work where two nondeterminism analyses were presented. One of them was efficient but not very powerful and the other one was more...
145
click to vote
WADT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
118
click to vote
ASM
2000
ASM
15 years 8 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
116
click to vote
IFIP
1999
Springer
15 years 8 months ago
1999
Springer
: The field of Virtual Environments (VEs) is rapidly evolving into a new means of communication and accessing information, likely to overcome many existent technologies. However, b...