Sciweavers

6031 search results - page 1043 / 1207
» Communicating Transaction Processes
Sort
View
ECAL
2003
Springer
15 years 11 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...
EUROPAR
2003
Springer
15 years 11 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...
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
15 years 11 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 11 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...
BCI
2009
IEEE
15 years 11 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 »