Sciweavers

6794 search results - page 1233 / 1359
» Semantics of Visual Languages
Sort
View
223
Voted
ICDE
2005
IEEE
105views Database» more  ICDE 2005»
16 years 4 months ago
Representing and Querying Data Transformations
Modern information systems often store data that has been transformed and integrated from a variety of sources. This integration may obscure the original source semantics of data ...
John Mylopoulos, Renée J. Miller, Yannis Ve...
229
Voted
ICDE
1997
IEEE
136views Database» more  ICDE 1997»
16 years 4 months ago
Delegation: Efficiently Rewriting History
Transaction delegation, as introduced in ACTA, allows a transaction to transfer responsibility for the operations that it has performed on an object to another transaction. Delega...
Cris Pedregal Martin, Krithi Ramamritham
228
Voted
ICDE
1995
IEEE
164views Database» more  ICDE 1995»
16 years 4 months ago
Efficient Processing of Nested Fuzzy SQL Queries
?In a fuzzy relational database where a relation is a fuzzy set of tuples and ill-known data are represented by possibility distributions, nested fuzzy queries can be expressed in ...
Qi Yang, Chengwen Liu, Jing Wu, Clement T. Yu, Son...
121
Voted
DAC
2006
ACM
16 years 3 months ago
Formal analysis of hardware requirements
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
Ingo Pill, Simone Semprini, Roberto Cavada, Marco ...
169
Voted
ICSE
2009
IEEE-ACM
16 years 3 months ago
Analyzing critical process models through behavior model synthesis
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
Christophe Damas, Bernard Lambeau, Francois Roucou...
« Prev « First page 1233 / 1359 Last » Next »