Sciweavers

4290 search results - page 334 / 858
» Formal Approaches to Teamwork
Sort
View
ICMT
2009
Springer
16 years 2 months ago
Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...
Esther Guerra, Juan de Lara, Fernando Orejas
ATAL
2007
Springer
16 years 1 months ago
Embedding Landmarks and Scenes in a Computational Model of Institutions
Over the last decade, institutions have demonstrated that they are a powerful mechanism to make agent interactions more effective, structured, coordinated and efficient. Different...
Owen Cliffe, Marina De Vos, Julian A. Padget
ECBS
2006
IEEE
109views Hardware» more  ECBS 2006»
16 years 1 months ago
Modeling Dependencies in Product Families with COVAMOF
Many variability modeling approaches consider only formalized dependencies, i.e. in- or exclude relations between variants. However, in real industrial product families, dependenc...
Marco Sinnema, Sybren Deelstra, Jos Nijhuis, Jan B...
SKG
2006
IEEE
16 years 1 months ago
A Computing Model for Concept Fusing and Document Classification
Effective document classification is a long-pursued goal in knowledge management. This paper proposes a novel hybrid approach of semantic representation and statistical measuremen...
Nan Zhang, Chao He
MMSEC
2006
ACM
129views Multimedia» more  MMSEC 2006»
16 years 1 months ago
WLAN steganography: a first practical review
Two different approaches for constructing a steganographic channel in an IEEE 802.11 (WLAN) network are introduced in this paper. First test results on the reliability, undetectab...
Christian Krätzer, Jana Dittmann, Andreas Lan...