4564 search results - page 740 / 913 » Data Integration Using ID-Logic |
INFOCOM
2000
IEEE
14 years 2 months ago
2000
IEEE
— This paper proposes a controlled-load service that provides a network state with bounded and well known worst-case behavior. The service is primarily developed for real-time ap...
ICSM
1999
IEEE
14 years 2 months ago
1999
IEEE
In order to maintain the consistency between sources and documentation, while at the same time providing documentation at the design level, it is necessary to generate documentati...
NDSS
1999
IEEE
14 years 2 months ago
1999
IEEE
We describe a system for achieving PNNI (Private Network-Network Interface) Global Routing Infrastructure Protection (PGRIP). We give details of PGRIP's system-level design a...
ICLP
1999
Springer
14 years 2 months ago
1999
Springer
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...
IFM
1999
Springer
14 years 2 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...