7452 search results - page 1317 / 1491 » A Semantics for Multiprocessor Systems |
228
Voted
CODES
2005
IEEE
16 years 20 days ago
2005
IEEE
The growing number of information security breaches in electronic and computing systems calls for new design paradigms that consider security as a primary design objective. This i...
225
Voted
BTW
2005
Springer
16 years 17 days ago
2005
Springer
Abstract: Peer data management systems (PDMS) are the natural extension of integrated information systems. Conventionally, a single integrating system manages an integrated schema,...
223
Voted
UML
2005
Springer
16 years 15 days ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
236
Voted
ICLP
2004
Springer
16 years 12 days ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
217
Voted
ICMI
2004
Springer
16 years 12 days ago
2004
Springer
We present a video demonstration of an agent-based test bed application for ongoing research into multi-user, multimodal, computer-assisted meetings. The system tracks a two perso...