Sciweavers

6031 search results - page 1043 / 1207
» Communicating Transaction Processes
Sort
View
ECAL
2003
Springer
15 years 9 months ago
The Learning and Emergence of Mildly Context Sensitive Languages
This paper describes a framework for studies of the adaptive acquisition and evolution of language, with the following components: language learning begins by associating words wit...
Edward P. Stabler, Travis C. Collier, Gregory M. K...
164
Voted
EUROPAR
2003
Springer
15 years 9 months ago
A Coordination Model for ad hoc Mobile Systems
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...
Marco Tulio de Oliveira Valente, Fernando Magno Qu...
147
Voted
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
15 years 9 months ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
GLOBAL
2003
Springer
15 years 9 months ago
The Klaim Project: Theory and Practice
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gi...
129
Voted
BCI
2009
IEEE
15 years 9 months ago
Assessing e-Readiness in SEE Countries: Perceptions towards e-Government Public Services
e-Government services are emerging rapidly in the developing world. Many countries use e-Government as an enabling tool to increase efficiency, enhance transparency, collect more ...
Vasileios Zarimpas, Maria Grouztidou, Despina Anas...
« Prev « First page 1043 / 1207 Last » Next »