Sciweavers

1180 search results - page 99 / 236
» Total Functional Software Engineering - Overview Paper
Sort
View
FATES
2005
Springer
15 years 4 months ago
Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...
Gaoyan Xie, Zhe Dang
FASE
2004
Springer
15 years 4 months ago
A Formal Treatment of Context-Awareness
Context-aware computing refers to a computing paradigm in which the behavior of individual components is determined by the circumstances in which they find themselves to an extent...
Gruia-Catalin Roman, Christine Julien, Jamie Payto...
COMPSAC
2003
IEEE
15 years 4 months ago
Scalable Multilateral Communication Technique for Large-Scale Information Systems
Autonomous Community Information System (ACIS) is a proposition made to contend with the extreme dynamism in the large-scale information system. ACIS is a decentralized bilateral-...
Khaled Ragab, Naohiro Kaji, Koichi Moriyama, Kinji...
110
Voted
CISIS
2007
IEEE
15 years 28 days ago
Task Decomposition and Delegation Algorithms for Coordinating Unstructured Multi Agent Systems
This paper describes the initial PhD research work for developing an innovative process for agent coordination in unstructured distributed environments. In this proposal, an agent...
António Luis Lopes, Luís Miguel Bote...
SOCO
2008
Springer
14 years 11 months ago
A face recognition system based on Pseudo 2D HMM applied to neural network coefficients
Face recognition from an image or video sequences is emerging as an active research area with numerous commercial and law enforcement applications. In this paper different Pseudo 2...
Vitoantonio Bevilacqua, Lucia Cariello, Gaetano Ca...