Sciweavers

1153 search results - page 60 / 231
» Compositional Specification Calculus for Information Systems...
Sort
View
IJEIS
2010
80views more  IJEIS 2010»
15 years 1 months ago
Semantics for Accurate Conflict Detection in SMoVer: Specification, Detection and Presentation by Example
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this, a multitude of pessimistic as well as optimistic VCSs for model artifa...
Kerstin Altmanninger, Wieland Schwinger, Gabriele ...
OTM
2005
Springer
15 years 9 months ago
Towards Ontology-Guided Design of Learning Information Systems
Courseware increasingly consists of generic information and communication tools. These offer a plethora of functionalities, but their usefulness to a particular learning community ...
Aldo de Moor
ADBIS
2006
Springer
135views Database» more  ADBIS 2006»
15 years 7 months ago
Interactive Discovery and Composition of Complex Web Services
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
Sergey A. Stupnikov, Leonid A. Kalinichenko, St&ea...
HICSS
2003
IEEE
160views Biometrics» more  HICSS 2003»
15 years 9 months ago
Digital Documents and Media
People need to find, work with, and put together information. Diverse activities, such as scholarly research, comparison shopping, and entertainment involve collecting and connect...
Michael A. Shepherd
FTRTFT
1998
Springer
15 years 8 months ago
A Modular Visual Model for Hybrid Systems
Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a ...
Radu Grosu, Thomas Stauner, Manfred Broy