3119 search results - page 406 / 624 » Abstract Requirement Analysis in Multiagent System Design |
165
click to vote
ATVA
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
176
click to vote
BTW
2005
Springer
16 years 1 days ago
2005
Springer
More than two decades ago, DB researchers faced up to the question of how to design a data-independent database management system (DBMS), that is, a DBMS which offers an appropriat...
170
click to vote
EUROSSC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Research in context-aware systems shows that using context information enables the development of personalized mobile applications. The context acquisition process in a c...
194
click to vote
SACRYPT
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. RC4, a stream cipher designed by Rivest for RSA Data Security Inc., has found several commercial applications, but little public analysis has been done to date. In this p...
192
click to vote
COMCOM
2004
15 years 6 months ago
2004
Abstract-- This paper investigates the TCP dynamics and performance over proxies that shorten the TCP feedback loop by segmenting the end-to-end connection. Such proxies are often ...