Sciweavers

1823 search results - page 255 / 365
» Formal specification: a roadmap
Sort
View
HICSS
2005
IEEE
173views Biometrics» more  HICSS 2005»
14 years 2 months ago
Implementing Rule-Based Monitors within a Framework for Continuous Requirements Monitoring
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...
William N. Robinson
WPES
2005
ACM
14 years 2 months ago
Mining rule semantics to understand legislative compliance
Organizations in privacy-regulated industries (e.g. healthcare and financial institutions) face significant challenges when developing policies and systems that are properly align...
Travis D. Breaux, Annie I. Antón
ATAL
2005
Springer
14 years 2 months ago
A secure architectural description language for agent systems
Multi-agent systems are now being considered a promising architectural approach for building Internet-based applications. One of the most critical and important aspects of softwar...
Haralambos Mouratidis, Manuel Kolp, Stéphan...
BPM
2005
Springer
118views Business» more  BPM 2005»
14 years 2 months ago
Applying Enterprise Models to Design Cooperative Scientific Environments
Scientific experiments are supported by activities that create, use, communicate and distribute information whose organizational dynamics is similar to processes performed by distr...
Andrea Bosin, Nicoletta Dessì, Maria Grazia...
ICWE
2004
Springer
14 years 2 months ago
Semantic Capabilities for the Metrics and Indicators Cataloging Web System
In this paper we thoroughly discuss design and implementation issues for semantic search and navigation to ontology-based metrics and indicators metadata. These semantic search and...
Hernán Molina, Fernanda Papa, María ...