265 search results - page 22 / 53 » On varieties of meet automata |
FSEN
2009
Springer
14 years 3 days ago
2009
Springer
Although presented with a variety of ‘flavours’, the notion of an interactor, as an abstract characterisation of an interactive component, is well-known in the area of formal ...
ACSAC
1999
IEEE
13 years 11 months ago
1999
IEEE
This paper reports on an ongoing effort to define the security architecture for the Joint Simulation System (JSIMS), a joint military modeling and simulation system. It also descr...
SCCC
1998
IEEE
13 years 11 months ago
1998
IEEE
CORBA is a middleware with open standardization that is receiving plenty of acceptance for facilitating the distributed objects programming. CORBA is being extended through the sp...
DAC
1998
ACM
13 years 11 months ago
1998
ACM
The di culty of embedded system co-design is increasing rapidly due to the increasing complexity of individual parts, the variety of parts available and pressure to use multiple p...
ERSHOV
2006
Springer
13 years 11 months ago
2006
Springer
The paper presents a concept and architecture of specialized Internet portal providing semantic access to knowledge and information resources (electronic collections) for any given...