4965 search results - page 563 / 993 » A Simple Abstraction for Data Modeling |
245
click to vote
CODES
2003
IEEE
16 years 29 days ago
2003
IEEE
We present an approach to the automatic derivation of executable Process Network specifications from Weakly Dynamic Applications. We introduce the notions of Dynamic Single Assig...
196
click to vote
ICNP
1999
IEEE
15 years 12 months ago
1999
IEEE
As the most widely used reliable transport in today's Internet, TCP has been extensively studied in the past. However, previous research usually only considers a small or med...
191
click to vote
IPPS
1998
IEEE
15 years 12 months ago
1998
IEEE
Abstract. The development of network-aware applications, i.e. applications that dynamically adapt to network conditions, has had some success in the domain of multimedia applicatio...
297
click to vote
LPKR
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We study the relationship between argumentation (abduction) and disjunctive logic programming. Based on the paradigm of argumentation, an abductive semantic framework for...
193
click to vote
DOOD
1995
Springer
15 years 11 months ago
1995
Springer
Abstract. A simple model for method-based authorization is defined and an algorithm is presented for testing in compile-time whether a given database schema violates authorization...