Result 1 to 13 of 13 total
Enhancing TV programmes with additional contents using MPEG-7 segmentation information. (English)
Expert Syst. Appl. 37, No. 2, 1124-1133 (2010).
1
Incentivized provision of metadata, semantic reasoning and time-driven filtering: making a puzzle of personalized e-commerce. (English)
Expert Syst. Appl. 37, No. 1, 61-69 (2010).
2
Methodologies to evolve formal specifications through refinement and retrenchment in an analysis-revision cycle. (English)
Requir. Eng. 14, No. 3, 129-153 (2009).
3
Procedures and algorithms for continuous integration in an agile specification environment. (English)
Int. J. Softw. Eng. Knowl. Eng. 19, No. 1, 47-78 (2009).
4
An MHP framework to provide intelligent personalized recommendations about digital TV contents. (English)
Softw., Pract. Exper. 38, No. 9, 925-960 (2008).
5
Receiver-side semantic reasoning for digital TV personalization in the absence of return channels. (English)
Multimedia Tools Appl. 41, No. 3, 407-436 (2009).
6
T-MAESTRO and its authoring tool: Using adaptation to integrate entertainment into personalized t-learning. (English)
Multimedia Tools Appl. 40, No. 3, 409-451 (2008).
7
Composing requirements specifications from multiple prioritized sources. (English)
Requir. Eng. 13, No. 3, 187-206 (2008).
8
ATLAS: a framework to provide multiuser and distributed t-learning services over MHP. (English)
Softw., Pract. Exper. 36, No. 8, 845-869 (2006).
9
Guidelines for the incremental identification of aspects in requirements specifications. (English)
Requir. Eng. 11, No. 4, 239-263 (2006).
10
A six-valued logic to reason about uncertainty and inconsistency in requirements specifications. (English)
J. Log. Comput. 16, No. 2, 227-255 (2006).
11
A many-valued logic with imperative semantics for incremental specification of timed models. (English)
Boiten, Eerke A. (ed.) et al., Integrated formal methods. 4th international conference, IFM 2004, Canterbury, UK, April 4‒7, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21377-5/pbk). Lecture Notes in Computer Science 2999, 382-401 (2004).
12
Improving the consistency checking process by reusing formal verification knowledge. (English)
Broy, Manfred (ed.) et al., Perspectives of system informatics. 5th international Andrei Ershov memorial conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9‒12, 2003. Revised papers. Berlin: Springer (ISBN 3-540-20813-5/pbk). Lecture Notes in Computer Science 2890, 366-380 (2003).
13
Result 1 to 13 of 13 total
Start
Contact
Print
General Help
