Sciweavers

1039 search results - page 198 / 208
» Using GXL for exchanging business process models
Sort
View
HICSS
2003
IEEE
95views Biometrics» more  HICSS 2003»
14 years 1 months ago
Matching Needs - Application Service Providing for Asynchronous Learning Networks
Universities have severe difficulties in using elearning applications successfully due to organizational problems to provide them. Providing a web-based learning environment is an...
Wolf-Gideon Bleek, Iver Jackewitz, Bernd Pape
HICSS
2002
IEEE
90views Biometrics» more  HICSS 2002»
14 years 1 months ago
Knowledge-Based IS Implementation Support: An Application to the IS Change Agent Role Problem
The threat of abandoned or extensively overhauled IS is a major concern for both MIS specialists and businesses. This concern may stem from the mismatch between MIS specialist cha...
Meral Binbasioglu, Elaine Winston
FM
2006
Springer
126views Formal Methods» more  FM 2006»
14 years 3 days ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...
HAIS
2010
Springer
13 years 10 months ago
Analysing the Low Quality of the Data in Lighting Control Systems
Energy efficiency represents one of the main challenges in the engineering field, i.e., by means of decreasing the energy consumption due to a better design minimising the energy ...
José Ramón Villar, Enrique A. de la ...
SIMUTOOLS
2008
13 years 10 months ago
An overview of the OMNeT++ simulation environment
The OMNeT++ discrete event simulation environment has been publicly available since 1997. It has been created with the simulation of communication networks, multiprocessors and ot...
András Varga, Rudolf Hornig