Sciweavers

1579 search results - page 134 / 316
» A software development process supporting non-functional pro...
Sort
View
ER
2004
Springer
139views Database» more  ER 2004»
15 years 10 months ago
A Sociological Framework for Multi-agent Systems Validation and Verification
Social and intentional behaviours appear as two main components of the agent paradigm. Methods of conventional software engineering do not seem to be appropriate to gain a full kno...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
ISM
2008
IEEE
137views Multimedia» more  ISM 2008»
15 years 11 months ago
A Semantics- and Data-Driven SOA for Biomedical Multimedia Systems
Due to the problems of heterogeneous data and platforms, abundant functional and QoS requirements, high data size, and tangling correlation between data/contents and software func...
Shih-Hsi Liu, Yu Cao, Ming Li, Pranay Kilaru, Thel...
ASE
2008
102views more  ASE 2008»
15 years 4 months ago
Model driven code checking
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
ERLANG
2007
ACM
15 years 8 months ago
Extended process registry for Erlang
The built-in process registry has proven to be an extremely useful feature of the Erlang language. It makes it easy to provide named services, which can be reached without knowing...
Ulf Wiger
ICIP
2003
IEEE
16 years 6 months ago
Design of Q-shift complex wavelets for image processing using frequency domain energy minimization
This paper proposes a new method of designing finitesupport wavelet filters, based on minimization of energy in key parts of the frequency domain. In particular this technique is ...
Nick G. Kingsbury