916 search results - page 90 / 184 » Activity Theory for the Analysis and Design of Multi-agent S... |
RTAS
2008
IEEE
14 years 3 months ago
2008
IEEE
Recent technologies such as the Real-Time Specification for Java promise to bring Java’s advantages to real-time systems. While these technologies have made Java more predictab...
WOTUG
2007
13 years 10 months ago
2007
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...
ECEASST
2010
13 years 6 months ago
2010
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...
ECOOP
2012
Springer
11 years 11 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
JIKM
2007
13 years 9 months ago
2007
This paper presents the role of an innovative university masters’ degree program as a basis for skills development in human capital analysis for finance and business students in...