9145 search results - page 1438 / 1829 » Description Logic Systems |
176
click to vote
CIA
2003
Springer
16 years 3 days ago
2003
Springer
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...
196
click to vote
CONCUR
2003
Springer
16 years 3 days ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
203
click to vote
CONTEXT
2003
Springer
16 years 3 days ago
2003
Springer
The development of more and more complex distributed applications over large networks of computers has raised the problem of semantic interoperability across applications based on ...
219
click to vote
FASE
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances o...
135
click to vote
FPL
2003
Springer
16 years 3 days ago
2003
Springer
This paper describes a lightweight Field Programmable Gate Array (FPGA) circuit design that supports the simultaneous programming of multiple devices at different locations throug...