1788 search results - page 33 / 358 » Model Theory for Process Algebra |
106
Voted
ROOM
2000
15 years 1 months ago
2000
This paper is a proposal for a new two-tier calculus, designed to model aspects of CORBA-like systems at the CORBA evel. The higher object level known as Oompa abstracts away from...
98
Voted
SAJ
2000
15 years 9 days ago
2000
This paper presents algebraic results that are important for the extended tyft/tyxt format [12, 13] which can be used to describe many different process algebras. This format is b...
107
Voted
TSP
2010
14 years 7 months ago
2010
Detection and estimation problems in multiple-input multiple-output (MIMO) radar have recently drawn considerable interest in the signal processing community. Radar has long been a...
108
click to vote
IDEAS
2005
IEEE
15 years 6 months ago
2005
IEEE
The XML data is order-sensitive. The order problem, that is how ordered XML documents and order-sensitive queries over it can be efficiently supported when mapped into the unorde...
94
Voted
ECSA
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...