Sciweavers

800 search results - page 129 / 160
» Towards a formalization of budgets
Sort
View
DATE
2010
IEEE
153views Hardware» more  DATE 2010»
15 years 3 months ago
Taming the component timing: A CBD methodology for real-time embedded systems
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
Manoj G. Dixit, Pallab Dasgupta, S. Ramesh
98
Voted
ICDCS
2002
IEEE
15 years 3 months ago
The Complexity of Adding Failsafe Fault-Tolerance
In this paper, we focus our attention on the problem of automating the addition of failsafe fault-tolerance where fault-tolerance is added to an existing (fault-intolerant) progra...
Sandeep S. Kulkarni, Ali Ebnenasir
KR
2010
Springer
15 years 3 months ago
Status QIO: Conjunctive Query Entailment Is Decidable
Description Logics (DLs) are knowledge representation formalisms that provide, for example, the logical underpinning of the W3C OWL standards. Conjunctive queries (CQs), the stand...
Birte Glimm, Sebastian Rudolph
80
Voted
COLCOM
2009
IEEE
15 years 3 months ago
Building a stateful reference monitor with coloured petri nets
The need for collaboration and information sharing has been recently growing dramatically with the convergence of outsourcing and offshoring, the increasing need to cut costs thro...
Basel Katt, Michael Hafner, Xinwen Zhang
90
Voted
ARGMAS
2009
Springer
15 years 2 months ago
Emotions in Rational Decision Making
Emotions play an important role in human decision making. This often has a beneficial effect, and so it is desirable to explore whether emotions can also play a role in agent dec...
Fahd Saud Nawwab, Trevor J. M. Bench-Capon, Paul E...