Sciweavers

148 search results - page 11 / 30
» Towards the Automated Annotation of Process Models
Sort
View
ENTCS
2008
106views more  ENTCS 2008»
13 years 11 months ago
Towards Verifying Model Transformations
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
Anantha Narayanan, Gabor Karsai
AINA
2007
IEEE
14 years 5 months ago
Towards Device-Blending: Model and Challenges
This position paper proposes a device-blending architecture for aggregating device functionality via inter-device peer-topeer relationships, effectively forming a multi-device “...
Harinder Seera, Seng Wai Loke, Torab Torabi
LICS
2003
IEEE
14 years 4 months ago
Labelled Markov Processes: Stronger and Faster Approximations
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
Vincent Danos, Josee Desharnais
ICEIS
2007
IEEE
14 years 5 months ago
Performing Business Process Redesign with Best Practices: An Evolutionary Approach
Although extensive literature on BPR is available, there is still a lack of concrete guidance on actually changing processes for the better. In this paper we propose and detail out...
Mariska Netjes, Selma Limam Mansar, Hajo A. Reijer...
AAAI
2000
14 years 5 days ago
PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment
Researchers in the ontology-design field have developed the content for ontologies in many domain areas. Recently, ontologies have become increasingly common on the WorldWide Web ...
Natalya Fridman Noy, Mark A. Musen