Sciweavers

21490 search results - page 451 / 4298
» Business Process Modeling
Sort
View
HICSS
2002
IEEE
90views Biometrics» more  HICSS 2002»
15 years 9 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
ECHT
1992
15 years 8 months ago
Two Years before the Mist: Experiences with Aquanet
Aquanet is a collaborative hypertext tool that combines elements of frame-based knowledge representation and graphical presentation. In this paper, we examine the first major appl...
Catherine C. Marshall, Russell A. Rogers
FM
2006
Springer
126views Formal Methods» more  FM 2006»
15 years 8 months 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
15 years 6 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 ...
ICWSM
2008
15 years 5 months ago
Wikipedia as an Ontology for Describing Documents
Identifying topics and concepts associated with a set of documents is a task common to many applications. It can help in the annotation and categorization of documents and be used...
Zareen Saba Syed, Tim Finin, Anupam Joshi