Sciweavers

1620 search results - page 138 / 324
» Use Case Level Pointcuts
Sort
View
HICSS
1997
IEEE
135views Biometrics» more  HICSS 1997»
15 years 7 months ago
Animation for Validation of Business System Specifications
Business System Engineers, responding to changes in the market place, are faced with the challenge of building increasingly complex and varied systems. Formal approaches and model...
V. Lalioti
DAGSTUHL
2007
15 years 4 months ago
Modelling with Relational Calculus of Object and Component Systems - rCOS
Abstract. This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus o...
Zhenbang Chen, Abdel Hakim Hannousse, Dang Van Hun...
127
Voted
ICEBE
2007
IEEE
103views Business» more  ICEBE 2007»
15 years 3 months ago
Value and Goal Driven Design of E-Services
- E-services are used as the cornerstones for modeling interaction points of cooperating IT systems, within and between enterprises. So far, research and development of e-services ...
Martin Henkel, Paul Johannesson, Erik Perjons, Jel...
MIR
2005
ACM
197views Multimedia» more  MIR 2005»
15 years 9 months ago
Enhanced ontologies for video annotation and retrieval
A typical way to perform video annotation requires to classify video elements (e.g. events and objects) according to some pre-defined ontology of the video content domain. Ontolo...
Marco Bertini, Alberto Del Bimbo, Carlo Torniai
TECS
2008
119views more  TECS 2008»
15 years 3 months ago
Fast exploration of bus-based communication architectures at the CCATB abstraction
straction SUDEEP PASRICHA and NIKIL DUTT University of California, Irvine and MOHAMED BEN-ROMDHANE Newport Media Inc. Currently, system-on-chip (SoC) designs are becoming increasin...
Sudeep Pasricha, Nikil Dutt, Mohamed Ben-Romdhane