4151 search results - page 485 / 831 » Language Driven System Design |
223
click to vote
ICALP
2003
Springer
16 years 18 days ago
2003
Springer
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...
217
Voted
AAAI
1998
15 years 8 months ago
1998
Software agents "living" and acting in a real world software environment, such as an operating system, a network, or a database system, can carry out many tasks for huma...
199
click to vote
COMSIS
2007
15 years 7 months ago
2007
This paper presents preview of the new book titled “Security of Computer Systems and Networks” (original in Serbian language “Sigurnost računarskih sistema i mreža”) – ...
178
click to vote
NGC
2002
Springer
15 years 7 months ago
2002
Springer
Abstract As opportunities for international collaboration and crosscultural communication among people from heterogeneous cultures increase, the importance of electronic communicat...
215
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...