3868 search results - page 131 / 774 » Open Systems in TLA |
212
click to vote
ASE
2005
15 years 6 months ago
2005
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
191
click to vote
TLT
2008
15 years 6 months ago
2008
Abstract-- Nowadays, people are in need for continuous learning in order to keep up to date or to be upgraded in their job. An infrastructure for life-long learning requires contin...
190
click to vote
STTT
2010
15 years 5 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
142
click to vote
IMSCCS
2006
IEEE
16 years 28 days ago
2006
IEEE
This paper demonstrates a heterogeneous windows cluster system to obtain high performance computing (HPC) resources for medical image reconstruction applications. The communicatio...
154
click to vote
AHCI
2010
15 years 1 months ago
2010
This paper presents the SEMAINE API, an open source framework for building emotion-oriented systems. By encouraging and simplifying the use of standard representation formats, the...