Sciweavers

2379 search results - page 280 / 476
» Aspectizing Multi-agent Systems: From Architecture to Implem...
Sort
View
FM
2009
Springer
171views Formal Methods» more  FM 2009»
16 years 25 days ago
Formal Management of CAD/CAM Processes
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
Michael Kohlhase, Johannes Lemburg, Lutz Schrö...
AIMS
2008
Springer
16 years 19 days ago
A Theory of Closure Operators
We explore how fixed-point operators can be designed to interact and be composed to form autonomic control mechanisms. We depart from the idea that an operator is idempotent only ...
Alva L. Couch, Marc Chiarini
AAAI
2008
15 years 8 months ago
Argument Theory Change Applied to Defeasible Logic Programming
In this article we work on certain aspects of the belief change theory in order to make them suitable for argumentation systems. This approach is based on Defeasible Logic Program...
Martín O. Moguillansky, Nicolás D. R...
INFORMATICALT
2000
120views more  INFORMATICALT 2000»
15 years 6 months ago
Mobile Code Alternatives for Secure Environments
Growing popularity of the mobile code requires to consider various aspects related to its security. In the aviation industry there is a case when additional information needs to be...
Algirdas Pakstas, Igor Shagaev
INTERSPEECH
2010
15 years 1 months ago
An intonation model for TTS in sepedi
We present an initial investigation into the acoustic realisation of tone in continuous utterances in Sepedi (a language in the Southern Bantu family). An analytic model for the g...
Daniel R. van Niekerk, Etienne Barnard