Sciweavers

3868 search results - page 293 / 774
» Open Systems in TLA
Sort
View
DLT
2004
15 years 8 months ago
On Competence in CD Grammar Systems
Abstract. We investigate the generative power of cooperating distributed grammar systems (CDGSs), if the cooperation protocol is based on the level of competence on the underlying ...
Maurice H. ter Beek, Erzsébet Csuhaj-Varj&u...
ECIS
2004
15 years 8 months ago
The challenge of translating health information systems from one developing country context to another: case study from Mozambiq
What does it take for an open source, Not-for-Profit, software developed in one context to be internationalized and localized so as to be used in another context different from it...
José Leopoldo Nhampossa
FTCS
1998
77views more  FTCS 1998»
15 years 8 months ago
Strong Partitioning Protocol for a Multiprocessor VME System
The trend in implementing today's embedded applications is toward the use of commercial-off-the-shelf open architecture. Reducing costs and facilitating systems integration a...
Mohamed F. Younis, Jeffrey X. Zhou, Mohamed Abouta...
APAL
2007
79views more  APAL 2007»
15 years 7 months ago
A completeness result for a realisability semantics for an intersection type system
In this paper we consider a type system with a universal type ω where any term (whether open or closed, β-normalising or not) has type ω. We provide this type system with a rea...
Fairouz Kamareddine, Karim Nour
JPDC
2008
134views more  JPDC 2008»
15 years 7 months ago
Analyzing the performance of a cluster-based architecture for immersive visualization systems
Cluster computing has become an essential issue for designing immersive visualization systems. This paradigm employs scalable clusters of commodity computers with much lower costs...
Pedro Morillo, Aron Bierbaum, Patrick Hartling, Ma...