Sciweavers

2835 search results - page 23 / 567
» Common Semantics for Use Cases and Task Models
Sort
View
ECMDAFA
2010
Springer
241views Hardware» more  ECMDAFA 2010»
14 years 1 months ago
Detecting Inconsistencies in Multi-View Models with Variability
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...
Roberto Erick Lopez-Herrejon, Alexander Egyed
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 29 days ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
HICSS
2007
IEEE
105views Biometrics» more  HICSS 2007»
14 years 3 months ago
A Visualization Framework for Task-Oriented Modeling Using UML
— The UML is a collection of 13 diagram notations to describe different views of a software system. The existing diagram types display model elements and their relations. Softwar...
Christian F. J. Lange, Martijn A. M. Wijns, Michel...
TCS
2008
13 years 8 months ago
Algorithms for computing variants of the longest common subsequence problem
The longest common subsequence(LCS) problem is one of the classical and wellstudied problems in computer science. The computation of the LCS is a frequent task in DNA sequence ana...
Costas S. Iliopoulos, M. Sohel Rahman
AAAI
2008
13 years 11 months ago
Linking Social Networks on the Web with FOAF: A Semantic Web Case Study
One of the core goals of the Semantic Web is to store data in distributed locations, and use ontologies and reasoning to aggregate it. Social networking is a large movement on the...
Jennifer Golbeck, Matthew Rothstein