Sciweavers

2741 search results - page 230 / 549
» Designing Law-Compliant Software Requirements
Sort
View
AMAST
2004
Springer
15 years 10 months ago
Deductive Verification of Distributed Groupware Systems
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
Abdessamad Imine, Pascal Molli, Gérald Oste...
APSEC
2004
IEEE
15 years 10 months ago
Tool Supported Development of Service-Based Systems
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
Martin Deubler, Johannes Grünbauer, Gerhard P...
DIAGRAMS
2004
Springer
15 years 10 months ago
Towards a Default Reading for Constraint Diagrams
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
Andrew Fish, John Howse
EDBTW
2006
Springer
15 years 10 months ago
ActiveXQBE: A Visual Paradigm for Triggers over XML Data
Abstract. While XQuery is becoming a standard, the W3C is currently discussing the features of an update language for XML, and its requirements. Therefore, time is ripe for designi...
Daniele Braga, Alessandro Campi, Davide Martinengh...
AUIC
2001
IEEE
15 years 10 months ago
Adapting the Web Interface: An Adaptive Web Browser
The growing number of mobile computing devices with diverse characteristics creates a requirement for seamless (device independent) access to computing resources of distributed sy...
Karen Henricksen, Jadwiga Indulska