Sciweavers

4726 search results - page 309 / 946
» Domain Modeling of Software Process Models
Sort
View
JWSR
2006
114views more  JWSR 2006»
15 years 6 months ago
Metadata, Ontologies, and Information Models for Grid PSE Toolkits Based on Web Services
: A PSE toolkit is a group of technologies within a software architecture through which multiple PSEs can be built for different application domains. The effective use of a PSE too...
Carmela Comito, Carlo Mastroianni, Domenico Talia
TAPSOFT
1997
Springer
15 years 11 months ago
Traces of I/O-Automata in Isabelle/HOLCF
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...
Olaf Müller, Tobias Nipkow
ICASSP
2009
IEEE
16 years 1 months ago
Registration of multimodal data for estimating the parameters of an articulatory model
Being able to animate a speech production model with articulatory data would open applications in many domains. In this paper, we first consider the problem of acquiring articula...
M. Aron, Asterios Toutios, M.-O. Berger, E. Kerrie...
CAISE
2009
Springer
16 years 1 months ago
Deriving Information Requirements from Responsibility Models
Abstract. This paper describes research in understanding the requirements for complex information systems that are constructed from one or more generic COTS systems. We argue that,...
Ian Sommerville, Russell Lock, Tim Storer, John Do...
ECAL
2007
Springer
16 years 26 days ago
Modeling Decentralized Organizational Change in Honeybee Societies
Multi-agent organizations in dynamic environments, need to have the ability to adapt to environmental changes to ensure a continuation of proper functioning. Such adaptations can b...
Mark Hoogendoorn, Martijn C. Schut, Jan Treur