Filter

Search
by Subject
  • Topic A - General Literature
  • Topic B - Hardware
  • Topic C - Computer Systems Organization
  • Topic D - Software
  • Topic E - Data
  • Topic F - Theory of Computation
  • Topic G - Mathematics of Computing
  • Topic H - Information Systems
  • Topic I - Computing Methodologies
  • Topic J - Computer Applications
  • Topic K - Computing Milieux
  • Topic L - Science and Technology of Learning
  • Topic M - Knowledge Management
by Publication Date (dd/mm/yyyy)
from
to
by Publication Type
by Funding Agency
Clear filters
Powered by

634 items matching your criteria

Sort by:
Filter By:
Subject: Topic D - Software
Clear All
Copy link
RSS Feed   RSS Feed filters articles only by Classification type, Date (from/to), Publication type
Left Arrow
36 37 38 39 40
Right Arrow
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Research Article
On-line Monitoring of Metric Temporal Logic with Time-Series Constraints Using Alternating Finite Automata
Doron Drusinsky
10.3217/jucs-012-05-0482
 28-05-2006
 Unique: 398 | Total: 456  | Access Period:
 482-498
HTML
XML
PDF
Research Article
DS/CDMA Multiuser Detection with Evolutionary Algorithms
Fernando Ciriaco, Taufik Abrão, Paul Jean E. Jeszensky
10.3217/jucs-012-04-0450
 28-04-2006
 Unique: 360 | Total: 439  | Access Period:
 450-480
HTML
XML
PDF
Research Article
A Multi-objective Genetic Approach to Mapping Problem on Network-on-Chip
Giuseppe Ascia, Vincenzo Catania, Maurizio Palesi
10.3217/jucs-012-04-0370
 28-04-2006
 Unique: 406 | Total: 509  | Access Period:
 370-394
HTML
XML
PDF
Research Article
EMI²lets: A Reflective Framework for Enabling AmI
Diego De Ipiña, Juan Vázquez, Daniel García, Javier Fernández, Iván García, David Sainz, Aitor Almeida
10.3217/jucs-012-03-0297
 28-03-2006
 Unique: 826 | Total: 1120  | Access Period:
 297-314
HTML
XML
PDF
Research Article
Development of Ambient Intelligence Applications using Components and Aspects
Lidia Fuentes, Daniel Jiménez, Mónica Pinto
10.3217/jucs-012-03-0236
 28-03-2006
 Unique: 435 | Total: 519  | Access Period:
 236-251
HTML
XML
PDF
Research Article
A Structure Causality Relation for Liveness Characterisation in Petri Nets
Belhassen Zouari
10.3217/jucs-012-02-0214
 28-02-2006
 Unique: 459 | Total: 564  | Access Period:
 214-232
HTML
XML
PDF
Research Article
Probabilistic Models for Reo Connector Circuits
Christel Baier
10.3217/jucs-011-10-1718
 28-10-2005
 Unique: 409 | Total: 469  | Access Period:
 1718-1748
HTML
XML
PDF
Research Article
Modular Verification of a Component-Based Actor Language
Marjan Sirjani, Frank De Boer, Ali Movaghar
10.3217/jucs-011-10-1695
 28-10-2005
 Unique: 369 | Total: 443  | Access Period:
 1695-1717
HTML
XML
PDF
Research Article
Coordinating Behavioral Descriptions of Components
Silvia Amaro, Ernesto Pimentel, Ana Roldán
10.3217/jucs-011-10-1676
 28-10-2005
 Unique: 396 | Total: 467  | Access Period:
 1676-1694
HTML
XML
PDF
Research Article
A Non-Invasive Approach to Assertive and Autonomous Dynamic Component Composition in the Service-Oriented Paradigm
Fei Cao, Barrett Bryant, Rajeev Raje, Andrew Olson, Mikhail Auguston, Wei Zhao, Carol Burt
10.3217/jucs-011-10-1645
 28-10-2005
 Unique: 435 | Total: 514  | Access Period:
 1645-1675
HTML
XML
PDF
Research Article
Analyzing Module Diversity
Alexandre Bergel, Stéphane Ducasse, Oscar Nierstrasz
10.3217/jucs-011-10-1613
 28-10-2005
 Unique: 442 | Total: 528  | Access Period:
 1613-1644
HTML
XML
PDF
Research Article
From Algebras to Objects: Generation and Composition
A. Cruz, Luís Barbosa, José Oliveira
10.3217/jucs-011-10-1580
 28-10-2005
 Unique: 421 | Total: 498  | Access Period:
 1580-1612
HTML
XML
PDF
Left Arrow
36 37 38 39 40
Right Arrow

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK