Sciweavers

5451 search results - page 490 / 1091
» Typed Operational Semantics
Sort
View
EDOC
2006
IEEE
16 years 26 days ago
Compliance checking between business processes and business contracts
— It is a typical scenario that many organisations have their business processes specified independently of their business contracts. This is because of the lack of guidelines a...
Guido Governatori, Zoran Milosevic, Shazia Wasim S...
159
Voted
ICMCS
2006
IEEE
127views Multimedia» more  ICMCS 2006»
16 years 25 days ago
Designing Interactions in Event-Based Unified Management of Personal Multimedia Information
Advancements in sensor technologies have made it easier and increasingly common to capture information using multiple media. This is especially true for personal multimedia inform...
Juan Pinzon, Rahul Singh, Wolfgang Taube, Jensen G...
ADBIS
2005
Springer
127views Database» more  ADBIS 2005»
16 years 11 days ago
Three Layer Evolution Model for XML Stored in Relational Databases
XML-relational systems with well defined XML and relational schemas are widely used in industry. In the presence of rapidly changing requirements both schemas of such a model need...
Andrey Simanovsky
DSVIS
2005
Springer
16 years 10 days ago
Mapping ConcurTaskTrees into UML 2.0
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...
Leonel Nóbrega, Nuno Jardim Nunes, Helder C...
ESWS
2005
Springer
16 years 10 days ago
Pedro Ontology Services: A Framework for Rapid Ontology Markup
Semantic Web technologies offer the possibility of increased accuracy and completeness in search and retrieval operations. In recent years, curators of data resources have begun f...
Kevin L. Garwood, Phillip W. Lord, Helen Parkinson...