Sciweavers

1636 search results - page 279 / 328
» Reasoning About Quantum Systems
Sort
View
RE
2008
Springer
15 years 5 months ago
Clear justification of modeling decisions for goal-oriented requirements engineering
Representation and reasoning about goals of an information system unavoidably involve the transformation of unclear stakeholder requirements into an instance of a goal model. If t...
Ivan Jureta, Stéphane Faulkner, Pierre-Yves...
ICSE
2010
IEEE-ACM
15 years 4 months ago
Fourth International Workshop on Software Clones (IWSC)
Software clones are identical or similar pieces of code. They are often the result of copy–and–paste activities as ad-hoc code reuse by programmers. Software clones research i...
Katsuro Inoue, Stanislaw Jarzabek, James R. Cordy,...
JPDC
2010
181views more  JPDC 2010»
15 years 4 months ago
T-L plane-based real-time scheduling for homogeneous multiprocessors
We consider optimal real-time scheduling of periodic tasks on multiprocessors—i.e., satisfying all task deadlines, when the total utilization demand does not exceed the ion capa...
Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen
MATES
2010
Springer
15 years 4 months ago
Do You Get It? User-Evaluated Explainable BDI Agents
Abstract. In this paper we focus on explaining to humans the behavior of autonomous agents, i.e., explainable agents. Explainable agents are useful for many reasons including scena...
Joost Broekens, Maaike Harbers, Koen V. Hindriks, ...
SIGMETRICS
2010
ACM
180views Hardware» more  SIGMETRICS 2010»
15 years 4 months ago
Route oracle: where have all the packets gone?
Many network-management problems in large backbone networks need the answer to a seemingly simple question: where does a given IP packet, entering the network at a particular plac...
Yaping Zhu, Jennifer Rexford, Subhabrata Sen, Aman...