3142 search results - page 33 / 629 » A formal approach for designing CORBA based applications |
ERSA
2003
13 years 10 months ago
2003
The Software Communications Architecture (SCA), a mandatory specification for Software Radio implementations by the Joint Tactical Radio System (JTRS), defines a Common Object R...
PAKDD
2004
ACM
14 years 2 months ago
2004
ACM
We are designing new data mining techniques on boolean contexts to identify a priori interesting concepts, i.e., closed sets of objects (or transactions) and associated closed sets...
ACL
1989
13 years 9 months ago
1989
We present an algorithm for generating strings from logical form encodings that improves upon previous algorithms in that it places fewer restrictions on the class of grammars to ...
IC
2003
13 years 10 months ago
2003
Parallel application programmers and software engineers have a variety of paradigms at their disposal. Some of the tools include traditional environments such as Parallel Virtual ...
TACAS
1998
Springer
14 years 26 days ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...