Sciweavers

2106 search results - page 196 / 422
» Specifying C concepts
Sort
View
ANSOFT
2002
171views more  ANSOFT 2002»
15 years 4 months ago
OPM/Web - Object-Process Methodology for Developing Web Applications
Web applications can be classified as hybrids between hypermedia and information systems. They have a relatively simple distributed architecture from the user viewpoint, but a comp...
Iris Reinhartz-Berger, Dov Dori, Shmuel Katz
PVLDB
2008
107views more  PVLDB 2008»
15 years 3 months ago
XTreeNet: democratic community search
We describe XTreeNet, a distributed query dissemination engine which facilitates democratization of publishing and efficient data search among members of online communities with p...
Emiran Curtmola, Alin Deutsch, Dionysios Logotheti...
CORR
2010
Springer
157views Education» more  CORR 2010»
15 years 3 months ago
Active Integrity Constraints and Revision Programming
We study active integrity constraints and revision programming, two formalisms designed to describe integrity constraints on databases and to specify policies on preferred ways to...
Luciano Caroprese, Miroslaw Truszczynski
NC
2010
159views Neural Networks» more  NC 2010»
15 years 2 months ago
Automata and processes on multisets of communicating objects
Abstract. Inspired by P systems initiated by Gheorghe P˜aun, we study a computation model over a multiset of communicating objects. The objects in our model are instances of fini...
Linmin Yang, Yong Wang, Zhe Dang
RULEML
2010
Springer
15 years 2 months ago
Transformation of SBVR Compliant Business Rules to Executable FCL Rules
 The  main  source  of  changing  requirements  of  the  dynamic  business   environment  is  response  to  changes  in  regulations  and  contracts  towards  ...
Aqueo Kamada, Guido Governatori, Shazia Wasim Sadi...