2145 search results - page 330 / 429 » Architectural Specifications in CASL |
131
Voted
ECAIW
2000
Springer
15 years 9 months ago
2000
Springer
In this paper we are proposing an approach for coordinating a team of homogeneous agents based on a flexible common Team Strategy as well as on the concepts of Situation Based Stra...
129
click to vote
ACSAC
1999
IEEE
15 years 9 months ago
1999
IEEE
The ATM Forum international consortium recently approved the first version of its security specifications aiming to protect communications over Asynchronous Transfer Mode (ATM) ne...
175
Voted
EUROMICRO
1999
IEEE
15 years 9 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
147
Voted
HPCA
1999
IEEE
15 years 9 months ago
1999
IEEE
Cache coherence protocols of current shared-memory multiprocessors are difficult to verify. Our previous work proposed an extension of Lamport's logical clocks for showing th...
126
click to vote
ICDAR
1999
IEEE
15 years 9 months ago
1999
IEEE
PixED (from Pixel to Electronic Document) is aimed at converting document images into structured electronic documents which can be read by a machine for information retrieval. The...