Sciweavers

2035 search results - page 19 / 407
» Communicating Scala Objects
Sort
View
TE
2010
110views more  TE 2010»
13 years 2 months ago
A Wireless Communications Systems Laboratory Course
A novel wireless communications systems laboratory course is introduced. The course teaches students how to design, test, and simulate wireless systems using modern instrumentation...
Sabih Güzelgöz, Hüseyin Arslan
ECOOP
1995
Springer
13 years 11 months ago
Time and Asynchrony in Interactions among Distributed Real-Time Objects
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
Ichiro Satoh, Mario Tokoro
CDC
2009
IEEE
126views Control Systems» more  CDC 2009»
14 years 6 days ago
The standard parts problem and the complexity of control communication
The objective of the standard parts optimal control problem is to find a number, m, of control inputs to a given input-output system that can be used in different combinations to...
John Baillieul, Wing Shing Wong
AGENTCL
2000
Springer
13 years 12 months ago
Operational Semantics for Agent Communication Languages
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...
Rogier M. van Eijk, Frank S. de Boer, Wiebe van de...
ICDCS
1999
IEEE
13 years 11 months ago
Stateful Group Communication Services
group multicasts provide a nice abstraction for communicating data reliably among group members and have been used for a variety of applications. In this paper we present Corona, ...
Radu Litiu, Atul Prakash