2035 search results - page 168 / 407 » Communicating Scala Objects |
MSO
2003
13 years 10 months ago
2003
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
PTS
2003
13 years 10 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
ROOM
2000
13 years 10 months ago
2000
In this paper we provide a systematic formal interpretation for most elements of the UML notation. This interpretation, in a structured temporal logic, enables precise analysis of...
AAAI
1990
13 years 10 months ago
1990
We have developed two systems, FN and ANDD, that use natural language and graphical displays, respectively, to communicate information about objects to human users. Both systems m...
EGOV
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. eDemocracy aims to increase participation of citizens in democratic processes through the use of information and communication technologies. In this paper, an architectur...