Sciweavers

13489 search results - page 617 / 2698
» Operating System
Sort
View
AC
2003
Springer
16 years 10 days ago
Petri Nets and Manufacturing Systems: An Examples-Driven Tour
Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain...
Laura Recalde, Manuel Silva, Joaquin Ezpeleta, Enr...
SCS
2003
15 years 8 months ago
Security as a Safety Issue in Rail Communications
Systems whose failure can lead to the damage of property or the environment, or loss of human life are regarded as safety-critical systems. It is no longer adequate to build safet...
Jason Smith, Selwyn Russell, Mark Looi
COLING
2000
15 years 8 months ago
On Underspecified Processing of Dynamic Semantics
We propose a new inference system which operates on underspecified semantic representations of scope and anaphora. This system exploits anaphoric accessibility conditions from dyn...
Alexander Koller, Joachim Niehren
ISLPED
2006
ACM
128views Hardware» more  ISLPED 2006»
16 years 1 months ago
Design and power management of energy harvesting embedded systems
Harvesting energy from the environment is a desirable and increasingly important capability in several emerging applications of embedded systems such as sensor networks, biomedica...
Vijay Raghunathan, Pai H. Chou
CHIMIT
2008
ACM
15 years 9 months ago
Policy-based IT automation: the role of human judgment
Policy-based automation is emerging as a viable approach to IT systems management, codifying high-level business goals into executable specifications for governing IT operations. ...
Eser Kandogan, John H. Bailey, Paul P. Maglio, Ebe...