3119 search results - page 442 / 624 » Abstract Requirement Analysis in Multiagent System Design |
170
click to vote
SPIN
2007
Springer
16 years 16 days ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
174
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
219
click to vote
HASE
2002
IEEE
15 years 11 months ago
2002
IEEE
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...
163
click to vote
OPODIS
2004
15 years 7 months ago
2004
Abstract. We present an efficient and practical lock-free implementation of a concurrent deque that supports parallelism for disjoint accesses and uses atomic primitives which are ...
192
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents an EDF-based algorithm, called Earliest Deadline Deferrable Portion (EDDP), for efficient scheduling of recurrent real-time tasks on multiprocessor systems. Th...