Sciweavers

2226 search results - page 213 / 446
» Pdk: The System and Its Language
Sort
View
UML
2004
Springer
15 years 12 months ago
Determining the Structural Events That May Violate an Integrity Constraint
Any implementation of an information system must ensure that an operation is only applied if its execution does not lead to a violation of any of the integrity constraints defined ...
Jordi Cabot, Ernest Teniente
MKM
2004
Springer
15 years 12 months ago
Flexible Encoding of Mathematics on the Computer
This paper reports on refinements and extensions to the MathLang framework that add substantial support for natural language text. We show how the extended framework supports mult...
Fairouz Kamareddine, Manuel Maarek, J. B. Wells
ER
2009
Springer
79views Database» more  ER 2009»
16 years 1 months ago
Modeling Domain Variability in Requirements Engineering with Contexts
Various characteristics of the problem domain define the context in which the system is to operate and thus impact heavily on its requirements. However, most requirements specifica...
Alexei Lapouchnian, John Mylopoulos
IDC
2009
Springer
16 years 1 months ago
A Protocol for Execution of Distributed Logic Programs
In the last fifteen years many work in logic programming has focussed on parallel implementations both in shared memory and in distributed memory multiprocessor systems. In both c...
László Aszalós, Andreas Herzi...
MDM
2004
Springer
122views Communications» more  MDM 2004»
15 years 12 months ago
Context-Aware Adaptation for Mobile Devices
This paper discusses the problem of content adaptation for mobile devices. The adaptation considers the context of the client and also the environment where the client request is ...
Tayeb Lemlouma, Nabil Layaïda