Sciweavers

10038 search results - page 575 / 2008
» Model Checking for Managers
Sort
View
PUC
2008
113views more  PUC 2008»
15 years 6 months ago
A resource and context model for mobile middleware
Abstract Mobile computing systems should be selfmanaged to simplify operation and maintenance plus meet user's expectation with respect to Quality of Service (QoS). When archi...
Sten Lundesgaard Amundsen, Frank Eliassen
AGILE
2009
Springer
295views GIS» more  AGILE 2009»
16 years 1 months ago
Enhancing 3D City Models with Heterogeneous Spatial Information: Towards 3D Land Information Systems
Spatial and georeferenced information plays an important role in urban land management processes such as spatial planning and environmental management. As many of the processes ar...
Lutz Ross, Jannes Bolling, Jürgen Döllne...
HICSS
2006
IEEE
114views Biometrics» more  HICSS 2006»
16 years 1 months ago
A Preliminary Model for Generating Experience Knowledge Based Artifacts
Inspections provide an effective way of acquiring and reusing experience knowledge. Several details, in both the inspection processes and the inspection event itself, can be found...
Jouni Kokkoniemi
EDOC
2009
IEEE
15 years 11 months ago
Process SEER: A Tool for Semantic Effect Annotation of Business Process Models
A key challenge in devising solutions to a range of problems associated with business process management: process life cycle management, compliance management, enterprise process ...
Kerry Hinge, Aditya K. Ghose, George Koliadis
BPM
2008
Springer
132views Business» more  BPM 2008»
15 years 9 months ago
On Modeling and Maximizing Business Value for Autonomic Service-Oriented Systems
Abstract. The existing Web service management solutions are almost exclusively focused on optimization of technical QoS metrics (e.g., availability). However, financial (e.g., prof...
Vladimir Tosic