Sciweavers

2706 search results - page 244 / 542
» The case for a new business model
Sort
View
HICSS
2002
IEEE
90views Biometrics» more  HICSS 2002»
15 years 11 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
SEE
1989
Springer
15 years 10 months ago
Tool Integration in Software Engineering Environments
This article presents doctoral research on tool integration within software engineering environments. Tool integration concerns the techniques used to form coalitions of tools tha...
Anthony I. Wasserman
COORDINATION
2006
Springer
15 years 10 months ago
Choreography and Orchestration Conformance for System Design
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Rober...
FM
2006
Springer
126views Formal Methods» more  FM 2006»
15 years 10 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...
ISTA
2007
15 years 8 months ago
Towards Information Management System for Licensing in Higher Education: An Ontology-Based Approach
Higher education licensing, i.e. the process of granting permissions to provide certain educational services, is an important process of public administration. Governmental bodies ...
Olga Cherednichenko, Dmytro Kuklenko, Sergiy Zlatk...