Sciweavers

9503 search results - page 257 / 1901
» Authenticated System Calls
Sort
View
ACSD
2001
IEEE
91views Hardware» more  ACSD 2001»
15 years 11 months ago
Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems
We here consider transition systems of Elementary Net Systems with Inhibitor Arcs. There are basically two di erent types of non-interleaving semantics of such Petri nets, the a-po...
Marta Pietkiewicz-Koutny
ICIS
2004
15 years 8 months ago
Desperately Seeking Systems Thinking in the Information Systems Discipline
Although called systems, information systems in organizations are often viewed as tools that "users" use. IS success is often gauged as though it were about acceptance a...
Steven Alter
ATAL
2008
Springer
15 years 9 months ago
Evacuation guide system based on massively multiagent system
Using ubiquitous devices such as multifunctional cellular phones and PDAs, we can build a large-scale navigation system for evacuation in the metropolis. Although current navigati...
Yuu Nakajima, Shohei Yamane, Hiromitsu Hattori, To...
ISNN
2007
Springer
16 years 1 months ago
Hybrid Systems and Artificial Immune Systems: Performances and Applications to Biomedical Research
In this paper we propose a comparative study of Artificial Neural Networks (ANN) and Artificial Immune Systems. Artificial Immune Systems (AIS) represent a novel paradigm in the fi...
Vitoantonio Bevilacqua, Cosimo G. de Musso, Filipp...
CL
2010
Springer
15 years 7 months ago
SystemJ: A GALS language for system level design
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
Avinash Malik, Zoran Salcic, Partha S. Roop, Alain...